History log of /hets/doc/FormalMethodsatDFKIandUni-CF.tex
Revision Date Author Comments Expand
cf9dad3c65a5fbed84bd4bde7e5c4fbc60eb827e 17-Nov-2014 cmaeder <cmaeder@users.noreply.github.com>

currently published version

b6afbd5a10bf541d77555b6b8021303e0c31ef0c 02-Jun-2014 Christian Maeder <Christian.Maeder@dfki.de>

current HCAR version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18602 cec4b9c1-7d33-0410-9eda-942365e851bb

08df3ab1048f8ac19d62deca2566b916337885b1 14-Nov-2013 Christian Maeder <Christian.Maeder@dfki.de>

published version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18301 cec4b9c1-7d33-0410-9eda-942365e851bb