| 9fc726ee81f01ddb1a25cfc6eac7f2f88ef28e58 |
|
16-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted file properties
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14324 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f7f399037e1ad094f8373f609c687e847510fda1 |
|
28-Oct-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14173 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 01f8490b545292b8e15df76c1e4095829a69d293 |
|
07-Oct-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14118 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6294ad597249a611c59e0dbf122ca9b89e679ba8 |
|
20-Sep-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Documenting...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14081 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c2b9205d94467085f8b07c294c86493d55427074 |
|
13-Sep-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Small improvements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14058 cec4b9c1-7d33-0410-9eda-942365e851bb |
| de29004099dfbf647d6f25aa78a81e5524ebe4dd |
|
15-Sep-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12464 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c1cf2f634a37116ff90e99ca710179a23115cbfb |
|
09-Sep-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Improved code and more documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12441 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fb9bdf36de2dd1ffe2884593789a5937119a33b4 |
|
04-Sep-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Bugs fixed in the generation of freeness constraints
More tests
Skeleton for the documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12420 cec4b9c1-7d33-0410-9eda-942365e851bb |