Makefile revision 360ce9b5c746ac021944db12eb26e3df2697b8c7
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae Bungiutree 360ce9b5c746ac021944db12eb26e3df2697b8c7:
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae Bungiu
8827905b0ce5b86f46d5c445c5158a7a704126dcJens Elkner.gitignore
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuATC.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuATC/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuAdl/
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerCASL.hs
8dbc5fec77543515bcd781e1e544dc61e0134cbfcmaederCASL/
8dbc5fec77543515bcd781e1e544dc61e0134cbfcmaederCASL_DL.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuCASL_DL/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuCMDL.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuCMDL/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuCOL.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuCOL/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuCSL/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuCSMOF/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuCoCASL.hs
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerCoCASL/
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerCommon.hs
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerCommon/
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerCommonLogic/
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerComorphisms.hs
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerComorphisms/
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerConstraintCASL/
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerCspCASL.hs
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerCspCASL/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuCspCASLProver.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuCspCASLProver/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuDFOL/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuDMU/
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerDriver.hs
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuDriver/
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerExtModal.hs
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuExtModal/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuFpl/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuFramework.hs
e506bdab02355eb48f915523c7b0fc979f9bdacdFrancisc Nicolae BungiuFramework/
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerFreeCAD/
e506bdab02355eb48f915523c7b0fc979f9bdacdFrancisc Nicolae BungiuGMP/
e506bdab02355eb48f915523c7b0fc979f9bdacdFrancisc Nicolae BungiuGUI.hs
e506bdab02355eb48f915523c7b0fc979f9bdacdFrancisc Nicolae BungiuGUI/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuHasCASL.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuHasCASL/
a1aa45b85afad61755457312ef2f30f004c43cb2Francisc Nicolae BungiuHaskell.hs
0a05d1aff0f8c5d9360de73928cd5085e8fbbcedFrancisc Nicolae BungiuHaskell/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuHets-Haddock-Prologue.txt
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuHets.cabal
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuHolLight/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuHybrid.hs
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuHybrid/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuINSTALL
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuInterfaces/
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerIsabelle.hs
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuIsabelle/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuLF/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuLICENSE.txt
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuLIZENZ.txt
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuLogic.hs
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuLogic/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuMMT.hs
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuMMT/
8dbc5fec77543515bcd781e1e544dc61e0134cbfcmaederMakefile
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuMakefile.installer
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuMaude/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuModal.hs
ce39be56aeedc8d333b72b1662548d36097fa22fJens ElknerModal/
ce39be56aeedc8d333b72b1662548d36097fa22fJens ElknerModifications/
8dbc5fec77543515bcd781e1e544dc61e0134cbfcmaederOMDoc.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuOMDoc/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuOWL2.hs
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuOWL2/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuOmega/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuPGIP/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuPLpatt/
8827905b0ce5b86f46d5c445c5158a7a704126dcJens ElknerProofs.hs
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuProofs/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuPropositional.hs
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuPropositional/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuQBF/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuQVTR/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuRDF/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuREADME
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuREADME.installer
8dbc5fec77543515bcd781e1e544dc61e0134cbfcmaederRelationalScheme.hs
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuRelationalScheme/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuReleaseMakefile
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuScratch.hs
ce39be56aeedc8d333b72b1662548d36097fa22fJens ElknerSoftFOL.hs
ce39be56aeedc8d333b72b1662548d36097fa22fJens ElknerSoftFOL/
8dbc5fec77543515bcd781e1e544dc61e0134cbfcmaederStatic.hs
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuStatic/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuSyntax.hs
49d647f58ec5bf482da541eec62f531848c49036Christian MaederSyntax/
4ffc423a7df8af7e7d7e563a15471da4505ddeb5ignazioTHF/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuTaxonomy.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae BungiuTaxonomy/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuTemporal/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuToHaskell/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuTopHybrid.hs
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae BungiuTopHybrid/
e506bdab02355eb48f915523c7b0fc979f9bdacdFrancisc Nicolae BungiuVSE/
8dbc5fec77543515bcd781e1e544dc61e0134cbfcmaederatermlib/
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae Bungiubuild.xml
64202712ffff73e36697b3f3a4c28016541e7b22Francisc Nicolae Bungiuclean.lst
3412f0946d79643403ad103fe88886afa04c0610Francisc Nicolae Bungiuclean.sh
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae Bungiudoc/
d66c5cd538de156c95eb0150d10e068e4b89932bFrancisc Nicolae Bungiuhets.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae Bungiuhets.in
68900f2ad435258ae928e83e6713a9903e755a5eFrancisc Nicolae Bungiuideas
8dbc5fec77543515bcd781e1e544dc61e0134cbfcmaedermini/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae Bungiupretty/
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae Bungiuprogramatica
49d647f58ec5bf482da541eec62f531848c49036Christian Maedersample-ghci-script
75a666ae9c75f3c3d836e6a7874f99e9199a304dFrancisc Nicolae Bungiutest/
d66c5cd538de156c95eb0150d10e068e4b89932bFrancisc Nicolae Bungiutodo
d66c5cd538de156c95eb0150d10e068e4b89932bFrancisc Nicolae Bungiuutils/
8dbc5fec77543515bcd781e1e544dc61e0134cbfcmaedervar.mk
8dbc5fec77543515bcd781e1e544dc61e0134cbfcmaederversion_nr
8dbc5fec77543515bcd781e1e544dc61e0134cbfcmaeder