xref/hets/.gitignore

	.gitignore revision af313f59287bea73d6e453a1bdb397c3f68c3160
*.hi
*.o
*.der.hs
ATC_*.hs
AS_*.hs
hets

ATC/Consistency.hs
ATC/DefaultMorphism.hs
ATC/DevGraph.hs
ATC/DgUtils.hs
ATC/ExtSign.hs
ATC/GlobalAnnotations.hs
ATC/Graph.hs
ATC/Grothendieck.hs
ATC/Id.hs
ATC/LibName.hs
ATC/OrderedMap.hs
ATC/ProofTree.hs
ATC/Prover.hs
ATC/Result.hs
ATC/XGraph.hs
Driver/Version.hs
Fpl/As.hs
GUI/Glade/GenericATP.hs
GUI/Glade/LinkTypeChoice.hs
GUI/Glade/NodeChecker.hs
GUI/Glade/ProverGUI.hs
GUI/Glade/TextField.hs
GUI/Glade/Utils.hs
RelationalScheme/AS.hs
utils/DrIFT
utils/appendHaskellPreludeString
utils/genRules