[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:1.9.1.11) Gecko/20100721 Iceweasel/3.5.11 (like Firefox/3.5.11) |
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/
- [Savannah-register-public] [task #10669] Submission of SPARK Ada mode for Emacs,
Gaétan Allaert <=