Makefile revision a6091cb14d14a9273e8eacdfe33be1247b26c689
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maedertree a6091cb14d14a9273e8eacdfe33be1247b26c689:
c63ebf815c8a874525cf18670ad74847f7fc7b26Christian Maeder
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder.gitignore
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederATC.hs
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederATC/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederAdl/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL/
43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederCASL_DL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL/
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian MaederCMDL.hs
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian MaederCMDL/
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian MaederCOL.hs
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian MaederCOL/
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederCSL/
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederCSMOF/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederCoCASL.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederCoCASL/
a1ed34933c266ce85066acb0d7b20c90cb8eb213Christian MaederCommon.hs
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederCommon/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichCommonLogic/
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian MaederComorphisms.hs
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederComorphisms/
4d56f2fa72e4aec20eb827c11ed49c8cbb7014bdChristian MaederConstraintCASL/
4cb215739e9ab13447fa21162482ebe485b47455Christian MaederCspCASL.hs
8ef75f1cc0437656bf622cec5ac9e8ea221da8f2Christian MaederCspCASL/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichCspCASLProver.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederCspCASLProver/
74eed04be26f549d2f7ca35c370e1c03879b28b1Christian MaederDFOL/
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederDMU/
3e8b136f23ed57d40ee617f49bcac37830b58cabChristian MaederDriver.hs
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian MaederDriver/
3e8b136f23ed57d40ee617f49bcac37830b58cabChristian MaederExtModal.hs
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian MaederExtModal/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederFpl/
e593b89bfd4952698dc37feced21cefe869d87a2Christian MaederFramework.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederFramework/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederFreeCAD/
7cc09dd93962a2155c34d209d1d4cd7d7b838264Christian MaederGMP/
1aee4aaddde105264c1faf394d88e302c05094ffChristian MaederGUI.hs
1aee4aaddde105264c1faf394d88e302c05094ffChristian MaederGUI/
51d769d55d88dfa88bdf54bee78d8fa85a2deba8Christian MaederHasCASL.hs
f041c9a6bda23de33a38490e35b831ae18d96b45Christian MaederHasCASL/
7cc09dd93962a2155c34d209d1d4cd7d7b838264Christian MaederHaskell.hs
51d769d55d88dfa88bdf54bee78d8fa85a2deba8Christian MaederHaskell/
1aee4aaddde105264c1faf394d88e302c05094ffChristian MaederHets-Haddock-Prologue.txt
1aee4aaddde105264c1faf394d88e302c05094ffChristian MaederHets.cabal
c3053d57f642ca507cdf79512e604437c4546cb9Christian MaederHolLight/
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37aChristian MaederHybrid.hs
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian MaederHybrid/
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian MaederINSTALL
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37aChristian MaederInterfaces/
05a62e84edac8c64de04f8349dee418598d216b9Christian MaederIsabelle.hs
05a62e84edac8c64de04f8349dee418598d216b9Christian MaederIsabelle/
1aee4aaddde105264c1faf394d88e302c05094ffChristian MaederLF/
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederLICENSE.txt
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederLIZENZ.txt
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederLogic.hs
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederLogic/
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederMMT.hs
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian MaederMMT/
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederMakefile
d54cd08a4cfa26256c38d8ed12c343adbfe1a0e3Christian MaederMakefile.installer
23b4e542dca35852f58d1fb3f7d9078c1de5ab06Christian MaederMaude/
8a78868bae2ec6838c87366c35c57e109154c51eChristian MaederModal.hs
8cacad2a09782249243b80985f28e9387019fe40Christian MaederModal/
363939beade943a02b31004cea09dec34fa8a6d9Christian MaederModifications/
a7c27282e71cf4505026645f96d4f5cb8a284e32Christian MaederOMDoc.hs
363939beade943a02b31004cea09dec34fa8a6d9Christian MaederOMDoc/
8a28707e9155465c6f2236a06eac6580a65c7025Christian MaederOWL2.hs
f04e8f3ff56405901be968fd4c6e9769239f1a9bKlaus LuettichOWL2/
4e23d551da8fb051cc4752319740ae7858ef1044Christian MaederOmega/
797ccd67cb8ae127be097cd43448801b673e3b69Christian MaederPGIP/
431d34c7007a787331c4e5ec997badb0f8190fc7Christian MaederPLpatt/
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian MaederProofs.hs
498aa48bdb931ab50990d3b74318a5db2312186cChristian MaederProofs/
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian MaederPropositional.hs
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian MaederPropositional/
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian MaederQBF/
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian MaederQVTR/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederRDF/
61fa0ac06ede811c7aad54ec4c4202346727368eChristian MaederREADME
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederREADME.installer
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederRelationalScheme.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederRelationalScheme/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederReleaseMakefile
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederScratch.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederSoftFOL.hs
9e748851c150e1022fb952bab3315e869aaf0214Christian MaederSoftFOL/
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian MaederStatic.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian MaederStatic/
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian MaederSyntax.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederSyntax/
ca074a78b8dcccbb8c419586787882f98d0c6163Christian MaederTHF/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederTaxonomy.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian MaederTaxonomy/
a5e5b8c3e5c11177e5034ef2423813a5d28979edChristian MaederTemporal/
bc8cbf12aa172bf5673b92a9e7a0151d4aa4c315Christian MaederToHaskell/
2d130d212db7208777ca896a7ecad619a8944971Christian MaederTopHybrid.hs
2d130d212db7208777ca896a7ecad619a8944971Christian MaederTopHybrid/
51d769d55d88dfa88bdf54bee78d8fa85a2deba8Christian MaederUbuntuMakefile
a5e5b8c3e5c11177e5034ef2423813a5d28979edChristian MaederVSE/
2d130d212db7208777ca896a7ecad619a8944971Christian Maederatermlib/
bc8cbf12aa172bf5673b92a9e7a0151d4aa4c315Christian Maederbuild.xml
2d130d212db7208777ca896a7ecad619a8944971Christian Maederclean.lst
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maederclean.sh
2d130d212db7208777ca896a7ecad619a8944971Christian Maederdoc/
2d130d212db7208777ca896a7ecad619a8944971Christian Maederhets.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maederhets.in
6ff7a91875597d6e4dfaa68c79187d01473e8341Christian Maederideas
6ff7a91875597d6e4dfaa68c79187d01473e8341Christian Maedermini/
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maederpretty/
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maederprogramatica
4017ebc0f692820736d796af3110c3b3018c108aChristian Maedersample-ghci-script
a9b59eb2ce961014974276cdae0e9df4419bd212Christian Maedertest/
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maedertodo
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maederutils/
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maedervar.mk
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maederversion_nr
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder