[Savannah-register-public] [task #13242] Submission of BooleanAlgebrasIntro2

[Daniel Wyckoff]

Follow-up Comment #2, task #13242 (project administration):

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


___

Reply to this item at:

  

___
  Message sent via/by Savannah
  http://savannah.gnu.org/

[Savannah-register-public] [task #13242] Submission of BooleanAlgebrasIntro2

[Karl Berry]

Update of task #13242 (project administration):

  Status:None => Done   
 Open/Closed:Open => Closed 

___

Follow-up 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



___

Reply to this item at:

  

___
  Message sent via/by Savannah
  http://savannah.gnu.org/

[Savannah-register-public] [task #13242] Submission of BooleanAlgebrasIntro2

[Daniel Wyckoff]

URL:
  

 Summary: Submission of BooleanAlgebrasIntro2
 Project: Savannah Administration
Submitted by: deluger
Submitted on: Tue 01 Jul 2014 03:09:02 AM GMT
 Should Start On: Tue 01 Jul 2014 12:00:00 AM GMT
   Should be Finished on: Fri 11 Jul 2014 12:00:00 AM GMT
Category: Project Approval
Priority: 5 - Normal
  Status: None
 Privacy: Public
Percent Complete: 0%
 Assigned to: None
 Open/Closed: Open
 Discussion Lock: Any
  Effort: 0.00

___

Details:

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):

* Group Administration



= 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






___

Reply to this item at:

  

___
  Message sent via/by Savannah
  http://savannah.gnu.org/