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: 
wneuper@59436: src/HOL/SPARK/Examples/Gcd/greatest_common_divisor/g_c_d.prv
wneuper@59436: src/HOL/SPARK/Examples/Sqrt/sqrt/isqrt.prv
wneuper@59436: src/HOL/SPARK/Manual/simple_greatest_common_divisor/g_c_d.prv
wneuper@59509: 
wneuper@59509: etc/settings
wneuper@59509: src/Pure/System/distribution.ML
wneuper@59509: src/Pure/System/distribution.scala
wneuper@59509: 
wneuper@59509: 
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: 
wneuper@59180: ^contrib
wneuper@59180: ^heaps/
neuper@55317: ^browser_info/
wneuper@59180: ^doc/.*\.dvi
wneuper@59180: ^doc/.*\.eps
wneuper@59180: ^doc/.*\.pdf
wneuper@59180: ^doc/.*\.ps
wneuper@59509: ^src/Tools/jEdit/dist/
neuper@55317: 
wneuper@59180: # students used various LaTeX tools (and created 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
wneuper@59180: #doc-isac------------------------------------------------------/
wneuper@59180: