Logo
Explore Help
Sign In
ada/spark2014
0
0
Fork 0
You've already forked spark2014
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
20-sustained
spark2014/docs
History
Johannes Kanig e94ee48e2d T224-008 update copyright on 20.2 branch
Change-Id: I5bf80d30214c4a91cdba29f0b1c19ad46222ba4b
2020-03-02 20:56:55 +01:00
..
architecture
changes related to DO-178C
2010-10-18 17:22:15 +02:00
booklet
N228-039 Initial attempt at SPARK booklet extracted from UG
2015-02-13 09:50:32 +01:00
case_study
remove trailing whitespace from Ada source code
2019-01-29 13:39:27 +01:00
develguide
T224-008 update copyright on 20.2 branch
2020-03-02 20:56:55 +01:00
flow
minor do not version-control intermediate LaTeX files of flow doc
2018-10-15 12:53:14 +02:00
guidance
S930-002 update error messages about pointers at stone level
2019-10-04 16:44:21 +02:00
lrm
T224-008 update copyright on 20.2 branch
2020-03-02 20:56:55 +01:00
marketing
Minor addition of text for Systematic competitiveness cluster
2014-04-03 16:24:57 +02:00
papers
minor fix of duplicate words in docs
2015-04-30 12:33:10 +01:00
sphinx_support
(no-tn-check) Add syntax highlighting support for whyml
2018-06-15 13:31:02 +02:00
ug
T224-008 update copyright on 20.2 branch
2020-03-02 20:56:55 +01:00
favicon.ico
minor add favicon to RM and UG html pages
2016-10-27 13:54:21 +02:00
Powered by Gitea Page: 908ms Template: 38ms
English
English
Licenses API