Options.hs revision a31430de8b0632d29f42634d6395e982bf31b14d
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinatree a31430de8b0632d29f42634d6395e982bf31b14d:
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březina
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březina.gitignore
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaATC.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaATC/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaAdl/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCASL.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCASL/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCASL_DL.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCASL_DL/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCMDL.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCMDL/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCOL.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCOL/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCSL/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCSMOF/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCoCASL.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCoCASL/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCommon.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCommon/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCommonLogic/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaComorphisms.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaComorphisms/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaConstraintCASL/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCspCASL.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCspCASL/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCspCASLProver.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaCspCASLProver/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaDFOL/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaDMU/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaDriver.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaDriver/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaExtModal.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaExtModal/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaFpl/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaFramework.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaFramework/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaFreeCAD/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaGMP/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaGUI.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaGUI/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaHasCASL.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaHasCASL/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaHaskell.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaHaskell/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaHets-Haddock-Prologue.txt
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaHets.cabal
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaHolLight/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaHybrid.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaHybrid/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaINSTALL
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaInterfaces/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaIsabelle.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaIsabelle/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaLF/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaLICENSE.txt
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaLIZENZ.txt
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaLogic.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaLogic/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaMMT.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaMMT/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaMakefile
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaMakefile.installer
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaMaude/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaModal.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaModal/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaModifications/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaOMDoc.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaOMDoc/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaOWL2.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaOWL2/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaOmega/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaPGIP/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaPLpatt/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaProofs.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaProofs/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaPropositional.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaPropositional/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaQBF/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaQVTR/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaRDF/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaREADME
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaREADME.installer
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaRelationalScheme.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaRelationalScheme/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaReleaseMakefile
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaScratch.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaSoftFOL.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaSoftFOL/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaStatic.hs
35fa5a83ce8badf6bc868937047f44c3f32b7c28Sumit BoseStatic/
35fa5a83ce8badf6bc868937047f44c3f32b7c28Sumit BoseSyntax.hs
35fa5a83ce8badf6bc868937047f44c3f32b7c28Sumit BoseSyntax/
35fa5a83ce8badf6bc868937047f44c3f32b7c28Sumit BoseTHF/
35fa5a83ce8badf6bc868937047f44c3f32b7c28Sumit BoseTaxonomy.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaTaxonomy/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaTemporal/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaToHaskell/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaTopHybrid.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaTopHybrid/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaUbuntuMakefile
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel BřezinaVSE/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinaatermlib/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinabuild.xml
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinaclean.lst
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinaclean.sh
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinadoc/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinahets.hs
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinahets.in
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinaideas
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinamini/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinapretty/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinaprogramatica
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinasample-ghci-script
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinatest/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinatodo
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinautils/
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinavar.mk
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březinaversion_nr
d3dee2a07f1a8ee9ae6f94e149ced754ef76c248Pavel Březina