build.xml revision 8827905b0ce5b86f46d5c445c5158a7a704126dc
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian Maedertree 8827905b0ce5b86f46d5c445c5158a7a704126dc:
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian Maeder
81d182b21020b815887e9057959228546cf61b6bChristian Maeder.gitignore
c438c79d00fc438f99627e612498744bdc0d0c89Christian Maeder.travis.yml
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuATC.hs
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian MaederATC/
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederAdl/
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian MaederCASL.hs
c438c79d00fc438f99627e612498744bdc0d0c89Christian MaederCASL/
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian MaederCASL_DL.hs
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCASL_DL/
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederCMDL.hs
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederCMDL/
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederCOL.hs
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederCOL/
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederCSL/
950e053ba55ac9c7d9c26a1ab48bd00202b29511Christian MaederCSMOF/
c2dead95fafd7ca36d06ddf07606a1292ead6d8aChristian MaederCoCASL.hs
4ef2a978e66e2246ff0b7f00c77deb7aabb28b8eChristian MaederCoCASL/
5334aa8fe0b0d1eb8a1cad40b741aa07172773c9Christian MaederCommon.hs
c2dead95fafd7ca36d06ddf07606a1292ead6d8aChristian MaederCommon/
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederCommonLogic/
15c12a3ac049a4528da05b1017b78145f308aeb0Christian MaederComorphisms.hs
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederComorphisms/
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederConstraintCASL/
4ef2a978e66e2246ff0b7f00c77deb7aabb28b8eChristian MaederCspCASL.hs
15c12a3ac049a4528da05b1017b78145f308aeb0Christian MaederCspCASL/
15c12a3ac049a4528da05b1017b78145f308aeb0Christian MaederCspCASLProver.hs
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederCspCASLProver/
15c12a3ac049a4528da05b1017b78145f308aeb0Christian MaederDFOL/
fc7df539e6d41b050161ed8f9ae6e444b1b5ab14Christian MaederDMU/
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederDriver.hs
2b9022bd5dfb351d1d80f61680336effeccfa23eChristian MaederDriver/
cc8b603388a7deb7fb8045db0341f550f8be5844Christian MaederExtModal.hs
0df692ce8b9293499b2e1768458613a63e7b5cd0Christian MaederExtModal/
c438c79d00fc438f99627e612498744bdc0d0c89Christian MaederFpl/
0df692ce8b9293499b2e1768458613a63e7b5cd0Christian MaederFramework.hs
f4741f6b7da52b5417899c8fcbe4349b920b006eChristian MaederFramework/
f4741f6b7da52b5417899c8fcbe4349b920b006eChristian MaederFreeCAD/
c438c79d00fc438f99627e612498744bdc0d0c89Christian MaederGMP/
04dada28736b4a237745e92063d8bdd49a362debChristian MaederGUI.hs
5334aa8fe0b0d1eb8a1cad40b741aa07172773c9Christian MaederGUI/
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederHasCASL.hs
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederHasCASL/
6b1153c560b677f9f5da2a60ee8a10de75ff90c5Christian MaederHaskell.hs
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederHaskell/
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederHets-Haddock-Prologue.txt
5334aa8fe0b0d1eb8a1cad40b741aa07172773c9Christian MaederHets.cabal
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian MaederHolLight/
c438c79d00fc438f99627e612498744bdc0d0c89Christian MaederHybrid.hs
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederHybrid/
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederINSTALL
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederInterfaces/
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederIsabelle.hs
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederIsabelle/
cf5149eb4d0faef6272231879c04aa740f5abc2bChristian MaederLF/
f4741f6b7da52b5417899c8fcbe4349b920b006eChristian MaederLICENSE.txt
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederLIZENZ.txt
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederLogic.hs
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederLogic/
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederMMT.hs
f4741f6b7da52b5417899c8fcbe4349b920b006eChristian MaederMMT/
f4741f6b7da52b5417899c8fcbe4349b920b006eChristian MaederMakefile
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederMakefile.installer
04dada28736b4a237745e92063d8bdd49a362debChristian MaederMaude/
9ae2df7accdbf35839d56f90e1e8662be7112cdbChristian MaederModal.hs
9ae2df7accdbf35839d56f90e1e8662be7112cdbChristian MaederModal/
ad623ebb0fa505940a039fe967ecff8749719ac9Christian MaederModifications/
9ae2df7accdbf35839d56f90e1e8662be7112cdbChristian MaederOMDoc.hs
9ae2df7accdbf35839d56f90e1e8662be7112cdbChristian MaederOMDoc/
9ae2df7accdbf35839d56f90e1e8662be7112cdbChristian MaederOWL2.hs
9ae2df7accdbf35839d56f90e1e8662be7112cdbChristian MaederOWL2/
9ae2df7accdbf35839d56f90e1e8662be7112cdbChristian MaederOmega/
9ae2df7accdbf35839d56f90e1e8662be7112cdbChristian MaederPGIP/
9ae2df7accdbf35839d56f90e1e8662be7112cdbChristian MaederPLpatt/
9ae2df7accdbf35839d56f90e1e8662be7112cdbChristian MaederProofs.hs
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederProofs/
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederPropositional.hs
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederPropositional/
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederQBF/
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederQVTR/
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederRDF/
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederREADME
c438c79d00fc438f99627e612498744bdc0d0c89Christian MaederREADME.installer
c438c79d00fc438f99627e612498744bdc0d0c89Christian MaederREADME.md
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederRelationalScheme.hs
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederRelationalScheme/
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederReleaseMakefile
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederScratch.hs
ab0f35d8b9012e459417e086773049ce33dda2a0Christian MaederServerMakefile
ab0f35d8b9012e459417e086773049ce33dda2a0Christian MaederSoftFOL.hs
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederSoftFOL/
ab0f35d8b9012e459417e086773049ce33dda2a0Christian MaederStatic.hs
72b9099aeec0762bae4546db3bc4b48721027bf4Christian MaederStatic/
ab0f35d8b9012e459417e086773049ce33dda2a0Christian MaederSyntax.hs
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederSyntax/
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederTHF/
c438c79d00fc438f99627e612498744bdc0d0c89Christian MaederTaxonomy.hs
ab0f35d8b9012e459417e086773049ce33dda2a0Christian MaederTaxonomy/
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederTemporal/
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederToHaskell/
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederTopHybrid.hs
7dec34aee2b609b9535c48d060e0f7baf3536457Christian MaederTopHybrid/
c438c79d00fc438f99627e612498744bdc0d0c89Christian MaederUbuntuMakefile
e76e6a43f51438215737d6fc176c89da05bb86daChristian MaederVSE/
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian Maederatermlib/
0df692ce8b9293499b2e1768458613a63e7b5cd0Christian Maederbuild.xml
0df692ce8b9293499b2e1768458613a63e7b5cd0Christian Maederclean.lst
0df692ce8b9293499b2e1768458613a63e7b5cd0Christian Maederclean.sh
0b14ccc700093e203914052bf6aceda3164af730Christian Maederdoc/
6b1153c560b677f9f5da2a60ee8a10de75ff90c5Christian Maederhets.hs
0b14ccc700093e203914052bf6aceda3164af730Christian Maederhets.in
9c03fbe72966fb21c99238c449efdb0126dae9deChristian Maederideas
9c03fbe72966fb21c99238c449efdb0126dae9deChristian Maedermagic/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedermini/
9c03fbe72966fb21c99238c449efdb0126dae9deChristian Maederpretty/
9c03fbe72966fb21c99238c449efdb0126dae9deChristian Maederprogramatica
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maedersample-ghci-script
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian Maedertest/
793945d4ac7c0f22760589c87af8e71427c76118Christian Maedertodo
0f0aa53f11a0d1ab08c76428b9de73db5b17c977Christian Maederutils/
9c03fbe72966fb21c99238c449efdb0126dae9deChristian Maedervar.mk
9c03fbe72966fb21c99238c449efdb0126dae9deChristian Maederversion_nr
c438c79d00fc438f99627e612498744bdc0d0c89Christian Maeder