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