| author | Walther Neuper <walther.neuper@jku.at> |
| Tue, 15 Dec 2020 15:10:38 +0100 | |
| changeset 60132 | 2f94484d6637 |
| 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 |