Cross Reference: .gitignore
xref
: /
hets
/
.gitignore
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
.gitignore revision a84a8d508a0778b13a4d097a6dd34b95feae78ac
43b4c41fbb07705c9df321221ab9cb9832460407
Christian Maeder
*~
c63ebf815c8a874525cf18670ad74847f7fc7b26
Christian Maeder
*.hi
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
*.o
25cc5fbba63f84b47e389af749f55abbbde71c8c
Christian Maeder
*.dyn_hi
5191fa24c532d1f67e7a642e9aece65efb8a0975
Christian Maeder
*.dyn_o
43b4c41fbb07705c9df321221ab9cb9832460407
Christian Maeder
.*.swp
5191fa24c532d1f67e7a642e9aece65efb8a0975
Christian Maeder
.hets*
5191fa24c532d1f67e7a642e9aece65efb8a0975
Christian Maeder
*.bin
5191fa24c532d1f67e7a642e9aece65efb8a0975
Christian Maeder
hets
43b4c41fbb07705c9df321221ab9cb9832460407
Christian Maeder
hets_server
5191fa24c532d1f67e7a642e9aece65efb8a0975
Christian Maeder
hets.cgi
f4a2a20e49f41b2afa657e5e64d9e349c7faa091
Christian Maeder
rev.txt
f2f9df2e17e70674f0bf426ed1763c973ee4cde0
Christian Maeder
*.orig
5191fa24c532d1f67e7a642e9aece65efb8a0975
Christian Maeder
doc/*.aux
5191fa24c532d1f67e7a642e9aece65efb8a0975
Christian Maeder
doc/*.bbl
5191fa24c532d1f67e7a642e9aece65efb8a0975
Christian Maeder
doc/*.blg
68d10d143f29fcff3c637ba24f90e983995ceae6
Christian Maeder
doc/*.fdb_latexmk
a53841f6d6e86ac751c12a33dc8aadf53f59d977
Klaus Luettich
doc/*.fls
a53841f6d6e86ac751c12a33dc8aadf53f59d977
Klaus Luettich
doc/*.log
a53841f6d6e86ac751c12a33dc8aadf53f59d977
Klaus Luettich
doc/*.out
a53841f6d6e86ac751c12a33dc8aadf53f59d977
Klaus Luettich
doc/UserGuide.pdf
a737caf82de97c1907027c03e4b4509eb492b4b8
Christian Maeder
docs/
68d10d143f29fcff3c637ba24f90e983995ceae6
Christian Maeder
programatica/
96646aed2ae087b942ae23f15bbe729a8f7c43d3
Christian Maeder
OWL2/*.jar
01e383014b555bbcf639c0ca60c5810b3eff83c0
Christian Maeder
OWL2/java/build
/
3b06e23643a9f65390cb8c1caabe83fa7e87a708
Till Mossakowski
OWL2/java/tmp
/
9dac90ec2be2a72e03893095461960d483fe2fc2
Christian Maeder
OWL2/lib
/
f04e8f3ff56405901be968fd4c6e9769239f1a9b
Klaus Luettich
tmp/
ce8b15da31cd181b7e90593cbbca98f47eda29d6
Till Mossakowski
debian/changelog
*
e7757995211bd395dc79d26fe017d99375f7d2a6
Christian Maeder
debian/root
e7757995211bd395dc79d26fe017d99375f7d2a6
Christian Maeder
debian/files
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
debian/hets
-*
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
debian/tmp
a1ed34933c266ce85066acb0d7b20c90cb8eb213
Christian Maeder
ATC/AS_Annotation.der.hs
c0c2380bced8159ff0297ece14eba948bd236471
Christian Maeder
ATC/AS_Annotation.hs
8410667510a76409aca9bb24ff0eda0420088274
Christian Maeder
ATC/AS_Architecture.der.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
ATC/AS_Architecture.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
ATC/AS_Library.der.hs
8410667510a76409aca9bb24ff0eda0420088274
Christian Maeder
ATC/AS_Library.hs
404166b9366552e9ec5abb87a37c76ec8a815fb7
Klaus Luettich
ATC/AS_Structured.der.hs
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbb
Christian Maeder
ATC/AS_Structured.hs
ad270004874ce1d0697fb30d7309f180553bb315
Christian Maeder
ATC/Consistency.der.hs
4d56f2fa72e4aec20eb827c11ed49c8cbb7014bd
Christian Maeder
ATC/Consistency.hs
4cb215739e9ab13447fa21162482ebe485b47455
Christian Maeder
ATC/DefaultMorphism.der.hs
8ef75f1cc0437656bf622cec5ac9e8ea221da8f2
Christian Maeder
ATC/DefaultMorphism.hs
404166b9366552e9ec5abb87a37c76ec8a815fb7
Klaus Luettich
ATC/DevGraph.der.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
ATC/DevGraph.hs
356fa49fe3e6a8398f92d13e9f920d0f093697ec
Christian Maeder
ATC/DgUtils.der.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
ATC/DgUtils.hs
55adfe57a4de1f36adc3e3bfc16f342e44a7d444
Christian Maeder
ATC/ExtSign.der.hs
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7
Christian Maeder
ATC/ExtSign.hs
8d97ef4f234681b11bb5924bd4d03adef858d2d2
Christian Maeder
ATC/GlobalAnnotations.der.hs
f4a2a20e49f41b2afa657e5e64d9e349c7faa091
Christian Maeder
ATC/GlobalAnnotations.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
ATC/Graph.der.hs
e593b89bfd4952698dc37feced21cefe869d87a2
Christian Maeder
ATC/Graph.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
ATC/Grothendieck.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975
Christian Maeder
ATC/IRI.der.hs
7cc09dd93962a2155c34d209d1d4cd7d7b838264
Christian Maeder
ATC/IRI.hs
1aee4aaddde105264c1faf394d88e302c05094ff
Christian Maeder
ATC/Id.der.hs
1aee4aaddde105264c1faf394d88e302c05094ff
Christian Maeder
ATC/Id.hs
f041c9a6bda23de33a38490e35b831ae18d96b45
Christian Maeder
ATC/LibName.der.hs
7cc09dd93962a2155c34d209d1d4cd7d7b838264
Christian Maeder
ATC/LibName.hs
1aee4aaddde105264c1faf394d88e302c05094ff
Christian Maeder
ATC/OrderedMap.der.hs
1aee4aaddde105264c1faf394d88e302c05094ff
Christian Maeder
ATC/OrderedMap.hs
c3053d57f642ca507cdf79512e604437c4546cb9
Christian Maeder
ATC/ProofTree.der.hs
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37a
Christian Maeder
ATC/ProofTree.hs
f4a2a20e49f41b2afa657e5e64d9e349c7faa091
Christian Maeder
ATC/Prover.der.hs
f4a2a20e49f41b2afa657e5e64d9e349c7faa091
Christian Maeder
ATC/Prover.hs
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37a
Christian Maeder
ATC/Result.der.hs
b886e9e5db2098d0112cc4f70aeba232962939dd
Christian Maeder
ATC/Result.hs
c2fcc35abb03cf0b4ca4b050efeb10827f38c322
Christian Maeder
ATC/XGraph.der.hs
1aee4aaddde105264c1faf394d88e302c05094ff
Christian Maeder
ATC/XGraph.hs
356fa49fe3e6a8398f92d13e9f920d0f093697ec
Christian Maeder
Adl/ATC_Adl.der.hs
356fa49fe3e6a8398f92d13e9f920d0f093697ec
Christian Maeder
Adl/ATC_Adl.hs
4ed0007ac9caea5b468f202521352d153481423c
Christian Maeder
CASL/AS_Basic_CASL.hs
356fa49fe3e6a8398f92d13e9f920d0f093697ec
Christian Maeder
CASL/ATC_CASL.der.hs
356fa49fe3e6a8398f92d13e9f920d0f093697ec
Christian Maeder
CASL/ATC_CASL.hs
0206ab93ef846e4e0885996d052b9b73b9dc66b0
Christian Maeder
CASL_DL/AS_CASL_DL.hs
f13d1e86e58da53680e78043e8df182eed867efb
Christian Maeder
CASL_DL/ATC_CASL_DL.der.hs
c2a4d8ae266aa37cc922eba97077520229a19902
Christian Maeder
CASL_DL/ATC_CASL_DL.hs
79e80c4b3f0ebb337d84415a50f29ccfc793e68b
Christian Maeder
COL/AS_COL.hs
79e80c4b3f0ebb337d84415a50f29ccfc793e68b
Christian Maeder
COL/ATC_COL.der.hs
79e80c4b3f0ebb337d84415a50f29ccfc793e68b
Christian Maeder
COL/ATC_COL.hs
79e80c4b3f0ebb337d84415a50f29ccfc793e68b
Christian Maeder
CSL/ATC_CSL.der.hs
757e6c79ec40491d45dc72c82b5eb59a386634b0
Jian Chun Wang
CSL/ATC_CSL.hs
ecf76bc89d9a2ecd7ac7310d30654b9a79d97d62
Klaus Luettich
CoCASL/AS_CoCASL.hs
ecf76bc89d9a2ecd7ac7310d30654b9a79d97d62
Klaus Luettich
CoCASL/ATC_CoCASL.der.hs
ecf76bc89d9a2ecd7ac7310d30654b9a79d97d62
Klaus Luettich
CoCASL/ATC_CoCASL.hs
36f63902db2b3463faa9f59912ad106e2d5aaa24
Klaus Luettich
Common/AS_Annotation.hs
36f63902db2b3463faa9f59912ad106e2d5aaa24
Klaus Luettich
CommonLogic/AS_CommonLogic.hs
f04e8f3ff56405901be968fd4c6e9769239f1a9b
Klaus Luettich
CommonLogic/ATC_CommonLogic.der.hs
5ad5dffe06818a13e1632b1119fbca7881085fc1
Dominik Luecke
CommonLogic/ATC_CommonLogic.hs
8cacad2a09782249243b80985f28e9387019fe40
Christian Maeder
ConstraintCASL/ATC_ConstraintCASL.der.hs
363939beade943a02b31004cea09dec34fa8a6d9
Christian Maeder
ConstraintCASL/ATC_ConstraintCASL.hs
a7c27282e71cf4505026645f96d4f5cb8a284e32
Christian Maeder
CspCASL/AS_CspCASL.hs
363939beade943a02b31004cea09dec34fa8a6d9
Christian Maeder
CspCASL/AS_CspCASL_Process.hs
8a28707e9155465c6f2236a06eac6580a65c7025
Christian Maeder
CspCASL/ATC_CspCASL.der.hs
f04e8f3ff56405901be968fd4c6e9769239f1a9b
Klaus Luettich
CspCASL/ATC_CspCASL.hs
797ccd67cb8ae127be097cd43448801b673e3b69
Christian Maeder
DFOL/ATC_DFOL.der.hs
797ccd67cb8ae127be097cd43448801b673e3b69
Christian Maeder
DFOL/ATC_DFOL.hs
431d34c7007a787331c4e5ec997badb0f8190fc7
Christian Maeder
Driver/Version.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
ExtModal/AS_ExtModal.hs
d3ae0072823e2ef0d41d4431fcc768e66489c20e
Christian Maeder
ExtModal/ATC_ExtModal.der.hs
9e748851c150e1022fb952bab3315e869aaf0214
Christian Maeder
ExtModal/ATC_ExtModal.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
Fpl/ATC_Fpl.der.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975
Christian Maeder
Fpl/ATC_Fpl.hs
9e748851c150e1022fb952bab3315e869aaf0214
Christian Maeder
Fpl/As.hs
9e748851c150e1022fb952bab3315e869aaf0214
Christian Maeder
Framework/ATC_Framework.der.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
Framework/ATC_Framework.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
FreeCAD/ATC_FreeCAD.der.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
FreeCAD/ATC_FreeCAD.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
GUI/Glade/GenericATP.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
GUI/Glade/LinkTypeChoice.hs
b886e9e5db2098d0112cc4f70aeba232962939dd
Christian Maeder
GUI/Glade/NodeChecker.hs
15503d903d142d317200149b2d1d642053530365
Christian Maeder
GUI/Glade/ProverGUI.hs
9e748851c150e1022fb952bab3315e869aaf0214
Christian Maeder
GUI/Glade/TextField.hs
9e748851c150e1022fb952bab3315e869aaf0214
Christian Maeder
GUI/Glade/Utils.hs
f1541d4a151dbd08002dbd14e7eb1d5dde253689
Christian Maeder
HasCASL/ATC_HasCASL.der.hs
4377600ef3dfb3962ec4c3de76e8486291b644ee
Christian Maeder
HasCASL/ATC_HasCASL.hs
f1541d4a151dbd08002dbd14e7eb1d5dde253689
Christian Maeder
Haskell/ATC_Haskell.der.hs
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1c
Christian Maeder
Haskell/ATC_Haskell.hs
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1c
Christian Maeder
Haskell/PreludeString.hs
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1c
Christian Maeder
Haskell/TiATC.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
Haskell/TiDecorateATC.hs
61fa0ac06ede811c7aad54ec4c4202346727368e
Christian Maeder
Haskell/TiPropATC.hs
c0c2380bced8159ff0297ece14eba948bd236471
Christian Maeder
HolLight/ATC_HolLight.der.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
HolLight/ATC_HolLight.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
Isabelle/ATC_Isabelle.der.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
Isabelle/ATC_Isabelle.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
Isabelle/IsaExport.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
Isabelle/export/examples
/*.isa
9e748851c150e1022fb952bab3315e869aaf0214
Christian Maeder
Isabelle/export/examples
/*
.isa.pretty.xml
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
LF/ATC_LF.der.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
LF/ATC_LF.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
Maude/ATC_Maude.der.hs
03a6d8f77f588dc5d3dd6653797fa2362efa1751
Christian Maeder
Maude/ATC_Maude.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
Modal/AS_Modal.hs
ca074a78b8dcccbb8c419586787882f98d0c6163
Christian Maeder
Modal/ATC_Modal.der.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
Modal/ATC_Modal.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
OMDoc/ATC_OMDoc.der.hs
a5e5b8c3e5c11177e5034ef2423813a5d28979ed
Christian Maeder
OMDoc/ATC_OMDoc.hs
bc8cbf12aa172bf5673b92a9e7a0151d4aa4c315
Christian Maeder
OWL2/ATC_OWL2.der.hs
2d130d212db7208777ca896a7ecad619a8944971
Christian Maeder
OWL2/ATC_OWL2.hs
2d130d212db7208777ca896a7ecad619a8944971
Christian Maeder
Propositional/AS_BASIC_Propositional.hs
a5e5b8c3e5c11177e5034ef2423813a5d28979ed
Christian Maeder
Propositional/ATC_Propositional.der.hs
a5e5b8c3e5c11177e5034ef2423813a5d28979ed
Christian Maeder
Propositional/ATC_Propositional.hs
2d130d212db7208777ca896a7ecad619a8944971
Christian Maeder
QBF/AS_BASIC_QBF.hs
bc8cbf12aa172bf5673b92a9e7a0151d4aa4c315
Christian Maeder
QBF/ATC_QBF.der.hs
2d130d212db7208777ca896a7ecad619a8944971
Christian Maeder
QBF/ATC_QBF.hs
f4a2a20e49f41b2afa657e5e64d9e349c7faa091
Christian Maeder
RDF/ATC_RDF.der.hs
2d130d212db7208777ca896a7ecad619a8944971
Christian Maeder
RDF/ATC_RDF.hs
2d130d212db7208777ca896a7ecad619a8944971
Christian Maeder
RelationalScheme/AS.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
RelationalScheme/ATC_RelationalScheme.der.hs
6ff7a91875597d6e4dfaa68c79187d01473e8341
Christian Maeder
RelationalScheme/ATC_RelationalScheme.hs
6ff7a91875597d6e4dfaa68c79187d01473e8341
Christian Maeder
SoftFOL/ATC_SoftFOL.der.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
SoftFOL/ATC_SoftFOL.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
Syntax/AS_Architecture.hs
4017ebc0f692820736d796af3110c3b3018c108a
Christian Maeder
Syntax/AS_Library.hs
a9b59eb2ce961014974276cdae0e9df4419bd212
Christian Maeder
Syntax/AS_Structured.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
THF/ATC_THF.der.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
THF/ATC_THF.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
THF/As.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
Temporal/ATC_Temporal.der.hs
88318aafc287e92931dceffbb943d58a9310001d
Christian Maeder
Temporal/ATC_Temporal.hs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9
Christian Maeder
VSE/ATC_VSE.der.hs
a3c6d8e0670bf2aa71bc8e2a3b1f45d56dd65e4c
Christian Maeder
VSE/ATC_VSE.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
utils/DrIFT
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
utils/DtdToHaskell
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
utils/DtdToHaskell-src/DtdToHaskell
/
363939beade943a02b31004cea09dec34fa8a6d9
Christian Maeder
utils/appendHaskellPreludeString
363939beade943a02b31004cea09dec34fa8a6d9
Christian Maeder
utils/genRules
363939beade943a02b31004cea09dec34fa8a6d9
Christian Maeder
Hybrid/ATC_Hybrid.hs
ca074a78b8dcccbb8c419586787882f98d0c6163
Christian Maeder
TopHybrid/ATC_TopHybrid.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
Christian Maeder
Hybrid/AS_Hybrid.hs
ca074a78b8dcccbb8c419586787882f98d0c6163
Christian Maeder
Hybrid/ATC_Hybrid.der.hs
ca074a78b8dcccbb8c419586787882f98d0c6163
Christian Maeder
TopHybrid/AS_TopHybrid.hs
ca074a78b8dcccbb8c419586787882f98d0c6163
Christian Maeder
TopHybrid/ATC_TopHybrid.der.hs
4017ebc0f692820736d796af3110c3b3018c108a
Christian Maeder
CSMOF/ATC_CSMOF.der.hs
b568982efd0997d877286faa592d81b03c8c67b8
Christian Maeder
CSMOF/ATC_CSMOF.hs
ca074a78b8dcccbb8c419586787882f98d0c6163
Christian Maeder
QVTR/ATC_QVTR.der.hs
0be0db405c49906bd7057255069bf6df53395ac9
Klaus Luettich
QVTR/ATC_QVTR.hs
ca074a78b8dcccbb8c419586787882f98d0c6163
Christian Maeder