URL:
<http://gna.org/task/?6545>
Summary: Submission of Another B Tools
Project: Gna! Administration
Submitted by: boulangerjl
Submitted on: dimanche 22.03.2009 à 07:52
Status: None
Approval Status: None
Should Start On: dimanche 22.03.2009 à 00:00
Should be Finished on: mercredi 01.04.2009 à 00:00
Category: Project Approval
Priority: 5 - Normal
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
A new project has been registered at Gna!
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 <https://gna.org/siteadmin/groupedit.php?group_id=2938> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):
* Group Administration
<https://gna.org/siteadmin/groupedit.php?group_id=2938>
= Registration Details =
* Name: *Another B Tools*
* System Name: *abtools*
* Type: Programs
* License: GNU Lesser General Public License
----
==== Description: ====
ABTools is a free tool for the B language developped in JAVA. It's a set of
tools (parser, typer, compiler, proof checker, code generator, ....), ... and
work in a shell windows...
these tools is in development and part of another project called Brillant
(see gna). for some reason, we want to split the project brillant in 2 parts.
==== Other Software Required: ====
normally no graphics .....
_______________________________________________________
Reply to this item at:
<http://gna.org/task/?6545>
_______________________________________________
Message posté via/par Gna!
http://gna.org/
_______________________________________________
Register mailing list
[email protected]
https://mail.gna.org/listinfo/register
