checkLines.hs revision 31d3d7a2f915455d04aadfd36560d1032942b771
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiastree 31d3d7a2f915455d04aadfd36560d1032942b771:
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogias
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasATC.hs
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasATC/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCASL.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCASL/
fc09e0a6af734edbd944dd8082bb51985c233b43Alexis TsogiasCASL_DL.hs
fc09e0a6af734edbd944dd8082bb51985c233b43Alexis TsogiasCASL_DL/
fc09e0a6af734edbd944dd8082bb51985c233b43Alexis TsogiasCMDL.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCMDL/
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasCOL.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCOL/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCoCASL.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCoCASL/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCommon.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCommon/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCommonLogic/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasComorphisms.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasComorphisms/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasConstraintCASL/
1e622ddf5a057555db1924ddc88475c695c6f7f2Alexis TsogiasConstraints/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCspCASL.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCspCASL/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCspCASLProver.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasCspCASLProver/
1e622ddf5a057555db1924ddc88475c695c6f7f2Alexis TsogiasDFOL/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasDMU/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasDriver.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasDriver/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasExtModal.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasExtModal/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasGMP/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasGUI.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasGUI/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasHasCASL.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasHasCASL/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasHaskell.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasHaskell/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasHets-Haddock-Prologue.txt
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasHets.cabal
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasINSTALL
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasInterfaces/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasIsabelle.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasIsabelle/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasLF/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasLICENSE.txt
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasLIZENZ.txt
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasLogic.hs
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasLogic/
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasLottery/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasMakefile
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasMakefile.installer
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasMaude/
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasModal.hs
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasModal/
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasModifications/
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasOMDoc.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasOMDoc/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasOWL.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasOWL/
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasOmega/
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasPGIP/
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasProofs.hs
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasProofs/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasPropositional.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasPropositional/
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasREADME
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasREADME.installer
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasReduce/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasRelationalScheme.hs
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9Alexis TsogiasRelationalScheme/
4cea468e955597a7069faba3f43f27e913f2b651Alexis TsogiasReleaseMakefile
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasSearch/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasSoftFOL.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasSoftFOL/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasStatic.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasStatic/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasSyntax/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasTaxonomy.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasTaxonomy/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasTemporal/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasTest.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasToHaskell/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis TsogiasVSE/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiasatermlib/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiasbuild.xml
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiasclean.lst
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiasclean.sh
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiasdoc/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiashets.hs
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiashets.in
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiasideas
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiasmini/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiaspretty/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiassample-ghci-script
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiastest/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiastodo
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiasutils/
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiasvar.mk
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogiasversion_nr
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7Alexis Tsogias