[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-register-public] [task #10669] Submission of SPARK Ada mode fo

From: Gaétan Allaert
Subject: [Savannah-register-public] [task #10669] Submission of SPARK Ada mode for Emacs
Date: Fri, 08 Oct 2010 11:32:03 +0000
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv: Gecko/20100721 Iceweasel/3.5.11 (like Firefox/3.5.11)


                 Summary: Submission of SPARK Ada mode for Emacs
                 Project: Savannah Administration
            Submitted by: gallaert
            Submitted on: Fri 08 Oct 2010 11:32:02 AM GMT
         Should Start On: Fri 08 Oct 2010 12:00:00 AM GMT
   Should be Finished on: Mon 18 Oct 2010 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



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
<> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration

= Registration Details =

* Name: *SPARK Ada mode for Emacs*
* System Name:  *spark-ada*
* Type: Official GNU software
* License: GNU General Public License v2 or later


==== Description: ====
This is the SPARK Ada mode for GNU/Emacs.
SPARK is a formally-defined computer programming language based on the Ada
programming language, intended to be secure and to support the development of
high integrity software used in applications and systems where predictable and
highly reliable operation is essential either for reasons of safety (e.g.,
avionics in aircraft/spacecraft, or medical systems and process control
software in nuclear powerplants) or for business integrity (for example
financial software for banking and insurance companies).
Keywords: languages SPARK Ada

==== Other Software Required: ====

==== Other Comments: ====
This Emacs major mode is based on the Ada mode.

==== Tarball URL: ====


Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]