Cross Reference:
xref
: /
hets
/
OWL
/
Makefile
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
Makefile revision 360ce9b5c746ac021944db12eb26e3df2697b8c7
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
tree
360
ce9b5c746ac021944db12eb26e3df2697b8c7
:
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
.
gitignore
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
ATC.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
ATC
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
Adl
/
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
CASL.hs
8dbc5fec77543515bcd781e1e544dc61e0134cbf
cmaeder
CASL
/
8dbc5fec77543515bcd781e1e544dc61e0134cbf
cmaeder
CASL_DL.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
CASL_DL
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
CMDL.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
CMDL
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
COL.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
COL
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
CSL
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
CSMOF
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
CoCASL.hs
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
CoCASL
/
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
Common.hs
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
Common
/
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
CommonLogic
/
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
Comorphisms.hs
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
Comorphisms
/
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
ConstraintCASL
/
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
CspCASL.hs
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
CspCASL
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
CspCASLProver.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
CspCASLProver
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
DFOL
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
DMU
/
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
Driver.hs
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Driver
/
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
ExtModal.hs
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
ExtModal
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Fpl
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Framework.hs
e506bdab02355eb48f915523c7b0fc979f9bdacd
Francisc Nicolae Bungiu
Framework
/
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
FreeCAD
/
e506bdab02355eb48f915523c7b0fc979f9bdacd
Francisc Nicolae Bungiu
GMP
/
e506bdab02355eb48f915523c7b0fc979f9bdacd
Francisc Nicolae Bungiu
GUI.hs
e506bdab02355eb48f915523c7b0fc979f9bdacd
Francisc Nicolae Bungiu
GUI
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
HasCASL.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
HasCASL
/
a1aa45b85afad61755457312ef2f30f004c43cb2
Francisc Nicolae Bungiu
Haskell.hs
0a05d1aff0f8c5d9360de73928cd5085e8fbbced
Francisc Nicolae Bungiu
Haskell
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Hets-Haddock-Prologue.txt
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Hets.cabal
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
HolLight
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Hybrid.hs
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Hybrid
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
INSTALL
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Interfaces
/
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
Isabelle.hs
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Isabelle
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
LF
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
LICENSE.txt
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
LIZENZ.txt
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Logic.hs
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Logic
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
MMT.hs
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
MMT
/
8dbc5fec77543515bcd781e1e544dc61e0134cbf
cmaeder
Makefile
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Makefile.installer
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Maude
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Modal.hs
ce39be56aeedc8d333b72b1662548d36097fa22f
Jens Elkner
Modal
/
ce39be56aeedc8d333b72b1662548d36097fa22f
Jens Elkner
Modifications
/
8dbc5fec77543515bcd781e1e544dc61e0134cbf
cmaeder
OMDoc.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
OMDoc
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
OWL2.hs
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
OWL2
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Omega
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
PGIP
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
PLpatt
/
8827905b0ce5b86f46d5c445c5158a7a704126dc
Jens Elkner
Proofs.hs
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Proofs
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Propositional.hs
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Propositional
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
QBF
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
QVTR
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
RDF
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
README
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
README.installer
8dbc5fec77543515bcd781e1e544dc61e0134cbf
cmaeder
RelationalScheme.hs
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
RelationalScheme
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
ReleaseMakefile
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Scratch.hs
ce39be56aeedc8d333b72b1662548d36097fa22f
Jens Elkner
SoftFOL.hs
ce39be56aeedc8d333b72b1662548d36097fa22f
Jens Elkner
SoftFOL
/
8dbc5fec77543515bcd781e1e544dc61e0134cbf
cmaeder
Static.hs
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Static
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Syntax.hs
49d647f58ec5bf482da541eec62f531848c49036
Christian Maeder
Syntax
/
4ffc423a7df8af7e7d7e563a15471da4505ddeb5
ignazio
THF
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Taxonomy.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
Taxonomy
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
Temporal
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
ToHaskell
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
TopHybrid.hs
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
TopHybrid
/
e506bdab02355eb48f915523c7b0fc979f9bdacd
Francisc Nicolae Bungiu
VSE
/
8dbc5fec77543515bcd781e1e544dc61e0134cbf
cmaeder
atermlib
/
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
build.xml
64202712ffff73e36697b3f3a4c28016541e7b22
Francisc Nicolae Bungiu
clean.lst
3412f0946d79643403ad103fe88886afa04c0610
Francisc Nicolae Bungiu
clean.sh
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
doc
/
d66c5cd538de156c95eb0150d10e068e4b89932b
Francisc Nicolae Bungiu
hets.hs
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
hets.in
68900f2ad435258ae928e83e6713a9903e755a5e
Francisc Nicolae Bungiu
ideas
8dbc5fec77543515bcd781e1e544dc61e0134cbf
cmaeder
mini
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
pretty
/
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
programatica
49d647f58ec5bf482da541eec62f531848c49036
Christian Maeder
sample
-
ghci
-
script
75a666ae9c75f3c3d836e6a7874f99e9199a304d
Francisc Nicolae Bungiu
test
/
d66c5cd538de156c95eb0150d10e068e4b89932b
Francisc Nicolae Bungiu
todo
d66c5cd538de156c95eb0150d10e068e4b89932b
Francisc Nicolae Bungiu
utils
/
8dbc5fec77543515bcd781e1e544dc61e0134cbf
cmaeder
var.mk
8dbc5fec77543515bcd781e1e544dc61e0134cbf
cmaeder
version_nr
8dbc5fec77543515bcd781e1e544dc61e0134cbf
cmaeder