Makefile revision 88c800932dd7053322501ea2039d9f234be6866c
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatovtree 88c800932dd7053322501ea2039d9f234be6866c:
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatov
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovATC/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovCASL/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovCommon/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovComorphisms/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovCspCASL/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovGUI/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovHasCASL/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovHaskell/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovLogic/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovLottery/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovMakefile
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovModal/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovProofs/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovStatic/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovSyntax/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovToHaskell/
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatovdoc/
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatovghc/
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatovhaterm-1.0/
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatovhetcats/
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatovhets.hs
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatovhugs/
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatovmini/
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatovtest/
dff76c4031125871446e4154f08c2a50f16f0809Iulia IgnatovtestUnusedImport.sh
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatovutils/
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatovversion_nr
dff76c4031125871446e4154f08c2a50f16f0809Iulia Ignatov