History log of /hets/HolLight/OcamlTools/debian/compat
Revision Date Author Comments Expand
293d6a21360117b9c8d81f2811fe2e94539cf955 08-Dec-2011 Christian Maeder <Christian.Maeder@dfki.de>

create hets-hollight-tool versions manually git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16550 cec4b9c1-7d33-0410-9eda-942365e851bb