neuper@52060: syntax: glob
neuper@52060: 
neuper@52060: *~
neuper@52060: *.class
neuper@52060: *.jar
wenzelm@49823: *.orig
wenzelm@49823: *.rej
neuper@52060: .DS_Store
neuper@52060: 
neuper@52054: # from Isabelle2002, 2011, 2012
neuper@52060: *.stackdump
neuper@52060: *.tgz
neuper@52060: *.orig
neuper@52060: *.marks
neuper@52060: *.html   # for cygwin
neuper@52060: 
neuper@52060: 
neuper@52060: syntax: regexp
neuper@52060: 
neuper@52054: #cygwin: requires different 'components' and 'settings'--------\
neuper@52060: ^etc/
neuper@52060: ^Cygwin-Setup.bat
neuper@52060: ^Cygwin-Terminal.bat
neuper@52060: ^Isabelle.exe
neuper@52054: #cygwin--------------------------------------------------------/
neuper@52060: 
neuper@52054: #--------------------------------------------------------------\
neuper@52054: #TUG/isa is *always* merged into a *full* clone from TUM/isabelle
neuper@52054: ^Admin/
neuper@52054: ^bin/
neuper@52055: ^browser_info/
neuper@52054: ^contrib/
neuper@48899: ^etc/
neuper@52060: ^heaps/
neuper@52055: ^doc/
neuper@52054: ^lib/
neuper@52054: #--------------------------------------------------------------/
neuper@52054: 
neuper@52054: # students use various LaTeX tools (and create a mess)...
neuper@52108: ^doc-isac/.*\.aux
neuper@52108: ^doc-isac/.*\.bbl
neuper@52108: ^doc-isac/.*\.blg
neuper@52108: ^doc-isac/.*\.brf
neuper@52108: ^doc-isac/.*\.dvi
neuper@52108: ^doc-isac/.*\.ent
neuper@52108: ^doc-isac/.*\.idx
neuper@52108: ^doc-isac/.*\.ind
neuper@52108: ^doc-isac/.*\.lof
neuper@52108: ^doc-isac/.*\.log
neuper@52108: ^doc-isac/.*\.nav
neuper@52108: ^doc-isac/.*\.out
neuper@52108: ^doc-isac/.*\.pdf
neuper@52108: ^doc-isac/.*\.rai
neuper@52108: ^doc-isac/.*\.rao
neuper@52108: ^doc-isac/.*\.snm
neuper@52108: ^doc-isac/.*\.synctex
neuper@52108: ^doc-isac/.*\.tex.backup
neuper@52108: ^doc-isac/.*\.toc
wenzelm@44167: ^src/Tools/jEdit/dist/
neuper@52060: 
neuper@52060: ^doc-src/isac/bib*
neuper@52060: ^doc-src/isac/mlehnfeld/fig
neuper@52060: ^doc-src/isac/msteger/fig/
neuper@52060: 
neuper@52060: ^src/Tools/jEdit/nbproject/build-impl.xml
neuper@52060: ^src/Tools/jEdit/nbproject/private/
neuper@52060: ^src/Tools/jEdit/build/
neuper@52060: ^src/Tools/jEdit/dist/
neuper@52060: ^src/Tools/jEdit/contrib/
neuper@52060: 
neuper@52060: ^bin/isac_jedit
neuper@52060: #^src/Tools/jEditC/build.xml
neuper@52060: ^src/Tools/jEditC/nbproject/build-impl.xml
neuper@52060: ^src/Tools/jEditC/nbproject/private/
neuper@52060: ^src/Tools/jEditC/build/
neuper@52060: ^src/Tools/jEditC/dist/
neuper@52060: ^src/Tools/jEditC/contrib/
neuper@52060: #^src/Tools/jEditC/src/Isac.scala
neuper@52060: ^src/Tools/jEditC_xxxx/
neuper@52060: ^src/Tools/jEditC/SD_Test_Plugin_java-src
neuper@52060: 
neuper@52060: ^test/.*\.aux
neuper@52060: ^test/.*\.bbl
neuper@52060: ^test/.*\.blg
neuper@52060: ^test/.*\.brf
neuper@52060: ^test/.*\.dvi
neuper@52060: ^test/.*\.lot
neuper@52060: ^test/.*\.idx
neuper@52060: ^test/.*\.ind
neuper@52060: ^test/.*\.lof
neuper@52060: ^test/.*\.log
neuper@52060: ^test/.*\.lot
neuper@52060: ^test/.*\.nav
neuper@52060: ^test/.*\.out
neuper@52060: ^test/.*\.pdf
neuper@52060: ^test/.*\.rai
neuper@52060: ^test/.*\.rao
neuper@52060: ^test/.*\.snm
neuper@52060: ^test/.*\.tex.backup
neuper@52060: ^test/.*\.toc
neuper@52060: ^test/.*\.ent
neuper@52060: ^test/.*\.synctex
neuper@52060: 
neuper@52058: ^test/tmp/