Commit Graph

7 Commits

Author SHA1 Message Date
anneperrineporte
01028de251 Merge branch 'master' of https://github.com/AdaCore/RESSAC_Use_Case 2016-11-08 11:31:54 +01:00
anneperrineporte
aaf3c3ffd0 Reviews on specification
- 1st sheet : remarks
- 2nd sheet :  interfaces issues
2016-10-19 17:07:59 +02:00
DuncBrown
dcb34886d2 Fixed some typos (With tracked changes) 2016-10-19 15:40:59 +02:00
anneperrineporte
49a2a0927a remarks on specification
document with remarks on specification documents
- 1 sheet on document "OP oriented"
- 1 continuing remarks on last version
- 1 sheet with analysis of interfaces : inconcistencies and missing
elements
2016-10-19 15:22:18 +02:00
DuncBrown
1339fe1938 RR Logo Change 2016-10-19 15:08:24 +02:00
CyrilleComar
a63dbbf307 fix a few typos
in particular "e.g " into e.g. " and "i.e " into "i.e. "
2016-09-22 13:04:48 +02:00
Olivier Ramonat
38f2d8402c First basic layout and initial documents 2016-09-21 14:28:56 +02:00