b26eb79fc6efad4c54395f57b79d9da71c92d582 - www.eclipse.org/chess - Git at Google

commit: b26eb79fc6efad4c54395f57b79d9da71c92d582
[log]
author: Stefano Tonetta <tonettas@fbk.eu>
Tue May 12 15:45:57 2020 +0200
committer: Nicholas Pacini <nicholas.pacini@Intecs.it>
Thu May 14 03:45:37 2020 -0400
tree: 4b618a1f03bd791dd6332ade3f71670dd7b2a63a
parent: adcdfbeb404df2f95de9aa538f6e88339a1a9002 [diff]

Updated documentation

Signed-off-by: Stefano Tonetta <tonettas@fbk.eu>

publis/CHESSMLprofile.pdf[diff]
publis/CHESSToolset_UserGuide.pdf[Deleted - diff]
publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf[Added - diff]
publis/CHESS_DependabilityGuide.pdf[Added - diff]
publis/CHESS_SWDevelopmentGuide.pdf[Added - diff]
publis/CHESS_ToolsetGuide.pdf[Added - diff]
start.html[diff]

7 files changed

tree: 4b618a1f03bd791dd6332ade3f71670dd7b2a63a