Makefile revision 23d36f448c5a8c02972d7f5de8713738bd9327fb
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mancetree 23d36f448c5a8c02972d7f5de8713738bd9327fb:
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance
5d801400993c9671010d244646936d8fd435638cChristian MaederATC.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceATC/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceAdl/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCASL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCASL/
5d801400993c9671010d244646936d8fd435638cChristian MaederCASL_DL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCASL_DL/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceCMDL.hs
aa0ca44e856c87db27e61687cbb630f270976da1Felix Gabriel ManceCMDL/
5d801400993c9671010d244646936d8fd435638cChristian MaederCOL.hs
5d801400993c9671010d244646936d8fd435638cChristian MaederCOL/
5d801400993c9671010d244646936d8fd435638cChristian MaederCSL/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCoCASL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCoCASL/
097bc9f18b722812d480df0f5c634d09cbca8e21Felix Gabriel ManceCommon.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCommon/
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederCommonLogic/
dc8c83e9922e4746c192916565f3522418534f3aFelix Gabriel ManceComorphisms.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceComorphisms/
feab1106bbee4f2ea2fd48bca7106dd041e4211dFelix Gabriel ManceConstraintCASL/
18ff56829e5e99383ee6106584d55bcbd8ed45e7Felix Gabriel ManceConstraints/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceCspCASL.hs
b1162cc13e8371724e3382ae6d1cfdeb43891fbbChristian MaederCspCASL/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceCspCASLProver.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCspCASLProver/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceDFOL/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceDMU/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceDriver.hs
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceDriver/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceExtModal.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceExtModal/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceFpl/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceFramework.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceFramework/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceFreeCAD/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceGMP/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceGUI.hs
0ec1551231bc5dfdcb3f2bd68fec7457fade7bfdFelix Gabriel ManceGUI/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceHasCASL.hs
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederHasCASL/
968930c7674ae3b63d308bf4fa651400aa263054Christian MaederHaskell.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceHaskell/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceHets-Haddock-Prologue.txt
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceHets.cabal
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceHolLight/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceINSTALL
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceInterfaces/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceIsabelle.hs
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceIsabelle/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceLF/
fc7bd98aabe1bc26058660085e8c77d60a97bcecChristian MaederLICENSE.txt
fc7bd98aabe1bc26058660085e8c77d60a97bcecChristian MaederLIZENZ.txt
fc7bd98aabe1bc26058660085e8c77d60a97bcecChristian MaederLogic.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceLogic/
3c6b4f79cea11dd2acc2060bf1502b6ba9e905f2Felix Gabriel ManceLottery/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceMakefile
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceMakefile.installer
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceMaude/
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederModal.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceModal/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceModifications/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceOMDoc.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceOMDoc/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceOWL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceOWL/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceOmega/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel MancePGIP/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceProofs.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceProofs/
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederPropositional.hs
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel MancePropositional/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceQBF/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceREADME
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceREADME.installer
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceRelationalScheme.hs
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederRelationalScheme/
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederReleaseMakefile
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederScratch.hs
ea3f858eb531d981df3ed00beeadd99cf025adecChristian MaederSearch/
ea3f858eb531d981df3ed00beeadd99cf025adecChristian MaederSoftFOL.hs
ea3f858eb531d981df3ed00beeadd99cf025adecChristian MaederSoftFOL/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceStatic.hs
3c6b4f79cea11dd2acc2060bf1502b6ba9e905f2Felix Gabriel ManceStatic/
52991d9b46a98ad6a9020421a3244950b0f8a522Felix Gabriel ManceSyntax/
52991d9b46a98ad6a9020421a3244950b0f8a522Felix Gabriel ManceTHF/
3c6b4f79cea11dd2acc2060bf1502b6ba9e905f2Felix Gabriel ManceTaxonomy.hs
3c6b4f79cea11dd2acc2060bf1502b6ba9e905f2Felix Gabriel ManceTaxonomy/
75aaf82c430ad2a5cf159962b1c5c09255010fb4Felix Gabriel ManceTemporal/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceToHaskell/
75aaf82c430ad2a5cf159962b1c5c09255010fb4Felix Gabriel ManceVSE/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Manceatermlib/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Mancebuild.xml
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Manceclean.lst
1b1144abf7f95a4b23405b8d5604813cfe7b036aFelix Gabriel Manceclean.sh
4c684d7a2343be7350eba088f8be42888f86a495Felix Gabriel Mancedoc/
1b1144abf7f95a4b23405b8d5604813cfe7b036aFelix Gabriel Mancehets.hs
5a3ae0a9224276de25e709ef8788c1b9716cd206Christian Maederhets.in
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel Manceideas
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel Mancemini/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel Mancepretty/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Manceprogramatica
8af00c8930672188ae80c8829428859160d329d0Felix Gabriel Mancesample-ghci-script
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mancetest/
8af00c8930672188ae80c8829428859160d329d0Felix Gabriel Mancetodo
8af00c8930672188ae80c8829428859160d329d0Felix Gabriel Manceutils/
8af00c8930672188ae80c8829428859160d329d0Felix Gabriel Mancevar.mk
8af00c8930672188ae80c8829428859160d329d0Felix Gabriel Manceversion_nr
8af00c8930672188ae80c8829428859160d329d0Felix Gabriel Mance