| 5ac8592ed934697a4cd3d3bd5944ffa28277a1f3 |
|
12-Jan-2011 |
Adrián Riesco <ariesco@fdi.ucm.es> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14374 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 |