Makefile revision 7c99e334446bb97120e30e967baeeddfdd1278de
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimbletttree 7c99e334446bb97120e30e967baeeddfdd1278de:
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblett
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettATC/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCOL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCoCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCommon/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettComorphisms/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettCspCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettGUI/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettHasCASL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettHaskell/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettHatchet/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettINSTALL
d64c27888613a81c9634cd939dd05618175465efAndy GimblettIsabelle/
d64c27888613a81c9634cd939dd05618175465efAndy GimblettLICENCE.txt
d64c27888613a81c9634cd939dd05618175465efAndy GimblettLIZENZ.txt
d64c27888613a81c9634cd939dd05618175465efAndy GimblettLogic/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettLottery/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettMakefile
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettModal/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettOWL_DL/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettProofs/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettREADME
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettReleaseMakefile
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettStatic/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettSyntax/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettTaxonomy/
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettTest.hs
b95c5b557aadc2211867af804d39950d4c9c1444Andy GimblettToHaskell/
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblettclean.lst
d64c27888613a81c9634cd939dd05618175465efAndy Gimblettclean.sh
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblettdoc/
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblettdocs/
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblettfgl/
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblettghc/
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimbletthaterm-1.0/
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimbletthetcats/
d64c27888613a81c9634cd939dd05618175465efAndy Gimbletthets.hs
d64c27888613a81c9634cd939dd05618175465efAndy Gimbletthugs/
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimbletthxt/
b95c5b557aadc2211867af804d39950d4c9c1444Andy Gimblettideas
install.sh
mini/
test/
todo
utils/
version_nr