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

[Gaétan Allaert]

URL:
  <http://savannah.gnu.org/task/?10669>

                 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

    _______________________________________________________

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
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=10655> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=10655>


= 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: ====
GNU/Emacs



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


==== Tarball URL: ====
http://savannah.gnu.org/submissions_uploads/spark_ada-mode.tar.gz






    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?10669>

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