History log of /hets/HolLight/OcamlTools/debian/rules
Revision Date Author Comments Expand
544c60683756b3ad5869a2e19bdb3d285eba16c6 28-Jun-2013 Jonathan von Schroeder <sternkinder@gmail.com>

removed property svn:executable git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18033 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/Logic_CASL.hs /hets/CASL/StaticAna.hs /hets/Common/Doc.hs /hets/Comorphisms/Hybrid2CASL.hs /hets/Comorphisms/LogicList.hs /hets/FreeCAD/As.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/FreeCAD/Translator.hs /hets/Hets_input_examples/HetsVsDedProvers/hard.het /hets/Hets_input_examples/HetsVsDedProvers/hard2.het /hets/Hets_input_examples/ReconfCalc/calc.het /hets/Hets_input_examples/geo.het /hets/Hets_input_examples/simpleSentences.het rules /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/HybridSign.hs /hets/Hybrid/Logic_Hybrid.hs /hets/Hybrid/Parse_AS.hs /hets/Hybrid/Print_AS.hs /hets/Hybrid/StatAna.hs /hets/Logic/Logic.hs /hets/THF/Test/hcspectest.txt /hets/TopHybrid/AS_TopHybrid.der.hs /hets/TopHybrid/Logic_TopHybrid.hs /hets/TopHybrid/Parse_AS.hs /hets/TopHybrid/Print_AS.hs /hets/TopHybrid/StatAna.hs /hets/TopHybrid/TopHybridSign.hs /hets/TopHybrid/Utilities.hs
6cbc5d30faa29a55d3ae5ca42f2dbca012a1fab7 19-Dec-2011 Christian Maeder <Christian.Maeder@dfki.de>

support i386 and amd64, add run deps, no debian package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16561 cec4b9c1-7d33-0410-9eda-942365e851bb
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