History log of /hets/Maude/doc/alberto.bib
Revision Date Author Comments Expand
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

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

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