# HG changeset patch
# User Walther Neuper <neuper@ist.tugraz.at>
# Date 1386854816 -3600
# Node ID 4300525448d7de54d1aa3a3b85a0d2c10dc069c9
# Parent  4dd08fe126bad63aa05741d55fb3e86a2dbfc795
Isabelle2013-1 --> 2013-2: isac's hgignore copied into new Isabelle files

diff -r 4dd08fe126ba -r 4300525448d7 .hgignore
--- a/.hgignore	Wed Dec 04 18:59:20 2013 +0100
+++ b/.hgignore	Thu Dec 12 14:26:56 2013 +0100
@@ -7,14 +7,97 @@
 *.rej
 .DS_Store
 
+# from Isabelle2002, 2011, 2012
+*.stackdump
+*.tgz
+*.orig
+*.marks
+*.html   # for cygwin
+
 
 syntax: regexp
 
-^contrib
+#cygwin: requires different 'components' and 'settings'--------\
+^Cygwin-Setup.bat
+^Cygwin-Terminal.bat
+^Isabelle.exe
+#cygwin--------------------------------------------------------/
+
+#--------------------------------------------------------------\
+#TUG/isa is *always* merged into a *full* clone from TUM/isabelle
+^Admin/
+^bin/
+^browser_info/
+^contrib/
+^etc/
 ^heaps/
-^browser_info/
-^doc/.*\.dvi
-^doc/.*\.eps
-^doc/.*\.pdf
-^doc/.*\.ps
+^doc/
+^lib/
+#--------------------------------------------------------------/
+
+# students use various LaTeX tools (and create a mess)...
+^doc-isac/.*\.aux
+^doc-isac/.*\.bbl
+^doc-isac/.*\.blg
+^doc-isac/.*\.brf
+^doc-isac/.*\.dvi
+^doc-isac/.*\.ent
+^doc-isac/.*\.idx
+^doc-isac/.*\.ind
+^doc-isac/.*\.lof
+^doc-isac/.*\.log
+^doc-isac/.*\.nav
+^doc-isac/.*\.out
+^doc-isac/.*\.pdf
+^doc-isac/.*\.rai
+^doc-isac/.*\.rao
+^doc-isac/.*\.snm
+^doc-isac/.*\.synctex
+^doc-isac/.*\.tex.backup
+^doc-isac/.*\.toc
 ^src/Tools/jEdit/dist/
+
+^doc-src/isac/bib*
+^doc-src/isac/mlehnfeld/fig
+^doc-src/isac/msteger/fig/
+
+^src/Tools/jEdit/nbproject/build-impl.xml
+^src/Tools/jEdit/nbproject/private/
+^src/Tools/jEdit/build/
+^src/Tools/jEdit/dist/
+^src/Tools/jEdit/contrib/
+
+^bin/isac_jedit
+#^src/Tools/jEditC/build.xml
+^src/Tools/jEditC/nbproject/build-impl.xml
+^src/Tools/jEditC/nbproject/private/
+^src/Tools/jEditC/build/
+^src/Tools/jEditC/dist/
+^src/Tools/jEditC/contrib/
+#^src/Tools/jEditC/src/Isac.scala
+^src/Tools/jEditC_xxxx/
+^src/Tools/jEditC/SD_Test_Plugin_java-src
+
+^test/.*\.aux
+^test/.*\.bbl
+^test/.*\.blg
+^test/.*\.brf
+^test/.*\.dvi
+^test/.*\.lot
+^test/.*\.idx
+^test/.*\.ind
+^test/.*\.lof
+^test/.*\.log
+^test/.*\.lot
+^test/.*\.nav
+^test/.*\.out
+^test/.*\.pdf
+^test/.*\.rai
+^test/.*\.rao
+^test/.*\.snm
+^test/.*\.tex.backup
+^test/.*\.toc
+^test/.*\.ent
+^test/.*\.synctex
+
+^test/tmp/