taskSavannah Administration - Tasks: task #13242, Submission of BooleanAlgebrasIntro2

 
 

task #13242: Submission of BooleanAlgebrasIntro2

Submitter:  Daniel Wyckoff <deluger>
Submitted:  Tue 01 Jul 2014 03:09:02 AM UTC
   
 
Should Start On:  Tue 01 Jul 2014 12:00:00 AM UTC Should be Finished on:  Fri 11 Jul 2014 12:00:00 AM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Done Privacy:  Public
Assigned to:  None Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Tue 26 Aug 2014 04:37:17 AM UTC, comment #2: 

Hi Karl.  Sorry for the late reply.  I almost never check the e-mail registered with Savannah. Luckily I googled this project after I set up the CVS.  Everything should be okay now.  Let me know if there are any other issues with my code.
Best Wishes,
-Daniel

Daniel Wyckoff <deluger>
Tue 01 Jul 2014 10:43:43 PM UTC, comment #1: 

Hi Daniel - since LGPLv3 is a sort of "subroutine" of GPLv3, it's necessary to have a copy of the GPL in the source tree, too.  You don't need to change any of the existing files, just insert a copy under the GPL-3, or whatever.

Other than that, it looks fine.  I activated the project; cron should do its thing within the hour.

By the way, it's perfectly ok, but not required, to have the complete license text in each file, as you have done.  A shorter version is given, well, implied, on http://www.gnu.org/licenses/gpl-howto.html (search for Lesser), if you like.

Best,
Karl


Karl Berry <karl>
Site Administrator
Tue 01 Jul 2014 03:09:02 AM UTC, original submission:  

A new project has been registered at Savannah
This project account will remain inactive until a site admin approves or discards the registration.


Registration Administration


While this item will be useful to track the registration process, approving or discarding the registration must be done using the specific Group Administration page, accessible only to site administrators, effectively logged as site administrators (superuser):



Registration Details


  • Name: BooleanAlgebrasIntro2
  • System Name:  bool2
  • Type: non-GNU software and documentation
  • License: GNU Lesser General Public License





Description:

My project is a creative translation of some initial chapters of Givant/Halmos' "Introduction to Boolean Algebras," in the Coq Proof Assistant language, compiled with version 8.4pl2.
Its purpose is to give interesting object files, help other Coq users, and it's special because it has interesting circumstances.  Daniel Schepler's "Topology" and "Zorn's Lemma" were used extensively, and I am grateful to him.


Other Software Required:

Coq Proof Assistant -- verison 8.4pl2 -- LGPL
http://coq.inria.fr/


Tarball URL:

http://savannah.gnu.org/submissions_uploads/BooleanAlgebrasIntro2.tar.gz


Daniel Wyckoff <deluger>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by karl (Posted a comment)
  • -email is unavailable- added by deluger (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.

     

    Follow 2 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2014-07-01 karl StatusNone Done
        Open/ClosedOpen Closed

    Back to the top

    Powered by Savane 3.13-4b48.
    Corresponding source code