Makefile revision a737caf82de97c1907027c03e4b4509eb492b4b8
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maedertree a737caf82de97c1907027c03e4b4509eb492b4b8:
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maeder
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederATC.hs
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederATC/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL.hs
43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL.hs
43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederCOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL.hs
d8c71aacc9f1c8cd40a8ad8dcdad9be8854b849fChristian MaederCoCASL/
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian MaederCommon.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommon/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederComorphisms.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederComorphisms/
dba1eafdf5b025161058f973c44b2c880e6b8241Christian MaederConstraintCASL/
a737caf82de97c1907027c03e4b4509eb492b4b8Christian MaederCspCASL.hs
a737caf82de97c1907027c03e4b4509eb492b4b8Christian MaederCspCASL/
a737caf82de97c1907027c03e4b4509eb492b4b8Christian MaederDriver.hs
a737caf82de97c1907027c03e4b4509eb492b4b8Christian MaederDriver/
a737caf82de97c1907027c03e4b4509eb492b4b8Christian MaederGUI.hs
a737caf82de97c1907027c03e4b4509eb492b4b8Christian MaederGUI/
a737caf82de97c1907027c03e4b4509eb492b4b8Christian MaederHasCASL.hs
c35d75c97d5257326d24e40fdc0ac6486f63ab55Christian MaederHasCASL/
96646aed2ae087b942ae23f15bbe729a8f7c43d3Christian MaederHaskell.hs
01e383014b555bbcf639c0ca60c5810b3eff83c0Christian MaederHaskell/
3b06e23643a9f65390cb8c1caabe83fa7e87a708Till MossakowskiHatchet/
df29370ae8d8b41587957f6bcdcb43a3f1927e47Christian MaederHets-Haddock-Prologue.txt
bd54a9917cd87169b8e40bcc5616c537fed85815Christian MaederINSTALL
bd54a9917cd87169b8e40bcc5616c537fed85815Christian MaederIsabelle.hs
ce8b15da31cd181b7e90593cbbca98f47eda29d6Till MossakowskiIsabelle/
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederLICENCE.txt
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederLICENSE.txt
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederLIZENZ.txt
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederLogic.hs
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederLogic/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederLottery/
2e2094a642e3775b0d76b890556407941d3a53b6Christian MaederMakefile
2e2094a642e3775b0d76b890556407941d3a53b6Christian MaederModal.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian MaederModal/
e8db9a65830cf71504e33c6f441a67b4d184a3caChristian MaederOMDoc/
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederOWL_DL.hs
8410667510a76409aca9bb24ff0eda0420088274Christian MaederOWL_DL/
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian MaederProofs.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederProofs/
8410667510a76409aca9bb24ff0eda0420088274Christian MaederREADME
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichReleaseMakefile
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian MaederSPASS.hs
4d56f2fa72e4aec20eb827c11ed49c8cbb7014bdChristian MaederSPASS/
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian MaederStatic.hs
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian MaederStatic/
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian MaederSyntax/
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian MaederTaxonomy.hs
57a2436f9d44e37042498a3b3dfacd301d91bb6dChristian MaederTaxonomy/
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian MaederTest.hs
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian MaederToHaskell/
d4892fa7401ceef014ea59d2d900773eaf88fcbdChristian Maederclean.lst
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maederclean.sh
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maedercvs-howto
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maederdoc/
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maederfgl/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettichhets.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederhxt/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederideas
55adfe57a4de1f36adc3e3bfc16f342e44a7d444Christian Maedermini/
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maedertest/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian Maedertodo
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian Maederutils/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederversion_nr
e593b89bfd4952698dc37feced21cefe869d87a2Christian Maeder