1.1 --- a/.hgignore Wed Dec 04 18:59:20 2013 +0100
1.2 +++ b/.hgignore Thu Dec 12 14:26:56 2013 +0100
1.3 @@ -7,14 +7,97 @@
1.4 *.rej
1.5 .DS_Store
1.6
1.7 +# from Isabelle2002, 2011, 2012
1.8 +*.stackdump
1.9 +*.tgz
1.10 +*.orig
1.11 +*.marks
1.12 +*.html # for cygwin
1.13 +
1.14
1.15 syntax: regexp
1.16
1.17 -^contrib
1.18 +#cygwin: requires different 'components' and 'settings'--------\
1.19 +^Cygwin-Setup.bat
1.20 +^Cygwin-Terminal.bat
1.21 +^Isabelle.exe
1.22 +#cygwin--------------------------------------------------------/
1.23 +
1.24 +#--------------------------------------------------------------\
1.25 +#TUG/isa is *always* merged into a *full* clone from TUM/isabelle
1.26 +^Admin/
1.27 +^bin/
1.28 +^browser_info/
1.29 +^contrib/
1.30 +^etc/
1.31 ^heaps/
1.32 -^browser_info/
1.33 -^doc/.*\.dvi
1.34 -^doc/.*\.eps
1.35 -^doc/.*\.pdf
1.36 -^doc/.*\.ps
1.37 +^doc/
1.38 +^lib/
1.39 +#--------------------------------------------------------------/
1.40 +
1.41 +# students use various LaTeX tools (and create a mess)...
1.42 +^doc-isac/.*\.aux
1.43 +^doc-isac/.*\.bbl
1.44 +^doc-isac/.*\.blg
1.45 +^doc-isac/.*\.brf
1.46 +^doc-isac/.*\.dvi
1.47 +^doc-isac/.*\.ent
1.48 +^doc-isac/.*\.idx
1.49 +^doc-isac/.*\.ind
1.50 +^doc-isac/.*\.lof
1.51 +^doc-isac/.*\.log
1.52 +^doc-isac/.*\.nav
1.53 +^doc-isac/.*\.out
1.54 +^doc-isac/.*\.pdf
1.55 +^doc-isac/.*\.rai
1.56 +^doc-isac/.*\.rao
1.57 +^doc-isac/.*\.snm
1.58 +^doc-isac/.*\.synctex
1.59 +^doc-isac/.*\.tex.backup
1.60 +^doc-isac/.*\.toc
1.61 ^src/Tools/jEdit/dist/
1.62 +
1.63 +^doc-src/isac/bib*
1.64 +^doc-src/isac/mlehnfeld/fig
1.65 +^doc-src/isac/msteger/fig/
1.66 +
1.67 +^src/Tools/jEdit/nbproject/build-impl.xml
1.68 +^src/Tools/jEdit/nbproject/private/
1.69 +^src/Tools/jEdit/build/
1.70 +^src/Tools/jEdit/dist/
1.71 +^src/Tools/jEdit/contrib/
1.72 +
1.73 +^bin/isac_jedit
1.74 +#^src/Tools/jEditC/build.xml
1.75 +^src/Tools/jEditC/nbproject/build-impl.xml
1.76 +^src/Tools/jEditC/nbproject/private/
1.77 +^src/Tools/jEditC/build/
1.78 +^src/Tools/jEditC/dist/
1.79 +^src/Tools/jEditC/contrib/
1.80 +#^src/Tools/jEditC/src/Isac.scala
1.81 +^src/Tools/jEditC_xxxx/
1.82 +^src/Tools/jEditC/SD_Test_Plugin_java-src
1.83 +
1.84 +^test/.*\.aux
1.85 +^test/.*\.bbl
1.86 +^test/.*\.blg
1.87 +^test/.*\.brf
1.88 +^test/.*\.dvi
1.89 +^test/.*\.lot
1.90 +^test/.*\.idx
1.91 +^test/.*\.ind
1.92 +^test/.*\.lof
1.93 +^test/.*\.log
1.94 +^test/.*\.lot
1.95 +^test/.*\.nav
1.96 +^test/.*\.out
1.97 +^test/.*\.pdf
1.98 +^test/.*\.rai
1.99 +^test/.*\.rao
1.100 +^test/.*\.snm
1.101 +^test/.*\.tex.backup
1.102 +^test/.*\.toc
1.103 +^test/.*\.ent
1.104 +^test/.*\.synctex
1.105 +
1.106 +^test/tmp/