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