test_parser.sh revision 00e7b6ae7da2801da668cfc8246c9a2e5023fb5b
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtontree 00e7b6ae7da2801da668cfc8246c9a2e5023fb5b:
a093731116a8c24d49b903df7602cf586e499b45Phill Cunnington
a093731116a8c24d49b903df7602cf586e499b45Phill Cunnington.gitignore
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonATC.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonATC/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonAdl/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCASL.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCASL/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCASL_DL.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCASL_DL/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCMDL.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCMDL/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCOL.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCOL/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCSL/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCSMOF/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCoCASL.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCoCASL/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCommon.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCommon/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCommonLogic/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonComorphisms.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonComorphisms/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonConstraintCASL/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCspCASL.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCspCASL/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCspCASLProver.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonCspCASLProver/
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsDFOL/
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsDMU/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonDriver.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonDriver/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonExtModal.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonExtModal/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonFpl/
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsFramework.hs
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsFramework/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonFreeCAD/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonGMP/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonGUI.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonGUI/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonHasCASL.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonHasCASL/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonHaskell.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonHaskell/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonHets-Haddock-Prologue.txt
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsHets.cabal
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsHolLight/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonHybrid.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonHybrid/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonINSTALL
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonInterfaces/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonIsabelle.hs
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonIsabelle/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonLF/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonLICENSE.txt
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsLIZENZ.txt
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsLogic.hs
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonLogic/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonMMT.hs
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonMMT/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonMakefile
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonMakefile.installer
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonMaude/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonModal.hs
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonModal/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonModifications/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonOMDoc.hs
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonOMDoc/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonOWL2.hs
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsOWL2/
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsOmega/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonPGIP/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonPLpatt/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonProofs.hs
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonProofs/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonPropositional.hs
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonPropositional/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonQBF/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonQVTR/
70893ec9c113a0893a6c128528765eebba7ba5dbPhill CunningtonRDF/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonREADME
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonREADME.installer
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonRelationalScheme.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonRelationalScheme/
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsReleaseMakefile
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsScratch.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonSoftFOL.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonSoftFOL/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonStatic.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonStatic/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonSyntax.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonSyntax/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonTHF/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonTaxonomy.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonTaxonomy/
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsTemporal/
d135fba117a27e6d0de2f5518a274bba4c0a38efJames PhillpottsToHaskell/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonTopHybrid.hs
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonTopHybrid/
a093731116a8c24d49b903df7602cf586e499b45Phill CunningtonVSE/
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtonatermlib/
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtonbuild.xml
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtonclean.lst
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtonclean.sh
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtondoc/
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtonhets.hs
d135fba117a27e6d0de2f5518a274bba4c0a38efJames Phillpottshets.in
d135fba117a27e6d0de2f5518a274bba4c0a38efJames Phillpottsideas
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtonmini/
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtonpretty/
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtonprogramatica
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtonsample-ghci-script
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtontest/
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtontodo
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtonutils/
a093731116a8c24d49b903df7602cf586e499b45Phill Cunningtonvar.mk
d135fba117a27e6d0de2f5518a274bba4c0a38efJames Phillpottsversion_nr
d135fba117a27e6d0de2f5518a274bba4c0a38efJames Phillpotts