5168d1cd3b6533d1c4608503b0ce9fff5d7e144d |
|
16-Jun-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
fixed the static analysis and added new tasks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15152 cec4b9c1-7d33-0410-9eda-942365e851bb |
bb1a72b84b087ebe2aae9e73ecf3caaefcb8a206 |
|
15-Jun-2011 |
Robert Savu <Robert.Savu@dfki.de> |
updated specifications for base free-cad objects
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15127 cec4b9c1-7d33-0410-9eda-942365e851bb |
257da458dcbcd80e9a60a8d02990956cb1a8178a |
|
14-Jun-2011 |
Robert Savu <Robert.Savu@dfki.de> |
added pdf and tex file containing the mathematical specifications for the built base objects
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15123 cec4b9c1-7d33-0410-9eda-942365e851bb |