author | Walther Neuper <walther.neuper@jku.at> |
Mon, 01 Mar 2021 12:46:40 +0100 | |
changeset 60161 | 3c06f59b78d6 |
parent 60074 | a02d5b4669a7 |
child 60186 | a81828f24172 |
permissions | -rw-r--r-- |
wenzelm@28909 | 1 |
syntax: glob |
wenzelm@28909 | 2 |
|
wenzelm@28909 | 3 |
*~ |
wenzelm@28911 | 4 |
*.class |
wenzelm@28911 | 5 |
*.jar |
lp15@57761 | 6 |
*.marks |
wenzelm@49823 | 7 |
*.orig |
wenzelm@49823 | 8 |
*.rej |
wenzelm@28909 | 9 |
.DS_Store |
wenzelm@55933 | 10 |
.swp |
wenzelm@28909 | 11 |
|
wneuper@59436 | 12 |
src/HOL/SPARK/Examples/Gcd/greatest_common_divisor/g_c_d.prv |
wneuper@59436 | 13 |
src/HOL/SPARK/Examples/Sqrt/sqrt/isqrt.prv |
wneuper@59436 | 14 |
src/HOL/SPARK/Manual/simple_greatest_common_divisor/g_c_d.prv |
wneuper@59509 | 15 |
|
walther@60074 | 16 |
etc/settings #does NOT work !?! |
wneuper@59509 | 17 |
|
wenzelm@28909 | 18 |
syntax: regexp |
wenzelm@28909 | 19 |
|
neuper@55317 | 20 |
#cygwin: requires different 'components' and 'settings'--------\ |
neuper@55317 | 21 |
^Cygwin-Setup.bat |
neuper@55317 | 22 |
^Cygwin-Terminal.bat |
neuper@55317 | 23 |
^Isabelle.exe |
neuper@55317 | 24 |
#cygwin--------------------------------------------------------/ |
neuper@55317 | 25 |
|
wneuper@59180 | 26 |
^contrib |
wneuper@59180 | 27 |
^heaps/ |
neuper@55317 | 28 |
^browser_info/ |
wneuper@59180 | 29 |
^doc/.*\.dvi |
wneuper@59180 | 30 |
^doc/.*\.eps |
wneuper@59180 | 31 |
^doc/.*\.pdf |
wneuper@59180 | 32 |
^doc/.*\.ps |
wneuper@59509 | 33 |
^src/Tools/jEdit/dist/ |
neuper@55317 | 34 |
|
wneuper@59180 | 35 |
# students used various LaTeX tools (and created a mess) ------\ |
neuper@55317 | 36 |
^doc-isac/.*\.aux |
neuper@55317 | 37 |
^doc-isac/.*\.bbl |
neuper@55317 | 38 |
^doc-isac/.*\.blg |
neuper@55317 | 39 |
^doc-isac/.*\.brf |
neuper@55317 | 40 |
^doc-isac/.*\.dvi |
neuper@55317 | 41 |
^doc-isac/.*\.ent |
neuper@55317 | 42 |
^doc-isac/.*\.idx |
neuper@55317 | 43 |
^doc-isac/.*\.ind |
neuper@55317 | 44 |
^doc-isac/.*\.lof |
neuper@55317 | 45 |
^doc-isac/.*\.log |
neuper@55317 | 46 |
^doc-isac/.*\.nav |
neuper@55317 | 47 |
^doc-isac/.*\.out |
neuper@55317 | 48 |
^doc-isac/.*\.pdf |
neuper@55317 | 49 |
^doc-isac/.*\.rai |
neuper@55317 | 50 |
^doc-isac/.*\.rao |
neuper@55317 | 51 |
^doc-isac/.*\.snm |
neuper@55317 | 52 |
^doc-isac/.*\.synctex |
neuper@55317 | 53 |
^doc-isac/.*\.tex.backup |
neuper@55317 | 54 |
^doc-isac/.*\.toc |
wneuper@59180 | 55 |
#doc-isac------------------------------------------------------/ |
wneuper@59180 | 56 |