File .hgignore

syntax: glob

.DS_Store
 * .class
 * .jar
 * .orig
 * .rej
 * .rej


 * 1) from Isabelle2002, 2011, 2012
 * .stackdump
 * .tgz
 * .orig
 * .marks
 * .html  # for cygwin

syntax: regexp

^etc/ ^Cygwin-Setup.bat ^Cygwin-Terminal.bat ^Isabelle.exe
 * 1) cygwin: requires different 'components' and 'settings'\
 * 1) cygwin/

^Admin/ ^bin/ ^browser_info/ ^contrib/ ^etc/ ^heaps/ ^doc/ ^lib/
 * 1) TUG/isa is *always* merged into a *full* clone from TUM/isabelle
 * 1) TUG/isa is *always* merged into a *full* clone from TUM/isabelle

^doc-src/.*\.aux ^doc-src/.*\.bbl ^doc-src/.*\.blg ^doc-src/.*\.brf ^doc-src/.*\.dvi ^doc-src/.*\.ent ^doc-src/.*\.idx ^doc-src/.*\.ind ^doc-src/.*\.lof ^doc-src/.*\.log ^doc-src/.*\.nav ^doc-src/.*\.out ^doc-src/.*\.rai ^doc-src/.*\.rao ^doc-src/.*\.snm ^doc-src/.*\.synctex ^doc-src/.*\.tex.backup ^doc-src/.*\.toc ^src/Tools/jEdit/dist/
 * 1) students use various LaTeX tools (and create a mess)...

^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/nbproject/build-impl.xml ^src/Tools/jEditC/nbproject/private/ ^src/Tools/jEditC/build/ ^src/Tools/jEditC/dist/ ^src/Tools/jEditC/contrib/ ^src/Tools/jEditC_xxxx/ ^src/Tools/jEditC/SD_Test_Plugin_java-src
 * 1) ^src/Tools/jEditC/build.xml
 * 1) ^src/Tools/jEditC/src/Isac.scala

^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/