| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Sat, 05 Dec 2015 14:26:56 +0100 | |
| changeset 59179 | 91acbb24e371 |
| parent 59104 | 09a9b04605e5 |
| child 59180 | 85ec71012df8 |
| permissions | -rwxr-xr-x |
| 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 |
|
| neuper@55317 | 12 |
# from Isabelle2002, 2011, 2012 |
| neuper@55317 | 13 |
*.stackdump |
| neuper@55317 | 14 |
*.tgz |
| neuper@55317 | 15 |
*.orig |
| neuper@55317 | 16 |
*.marks |
| neuper@55317 | 17 |
*.html # for cygwin |
| s1210629013@55374 | 18 |
Isabelle2013-2* |
| neuper@55317 | 19 |
|
| wenzelm@28909 | 20 |
|
| wenzelm@28909 | 21 |
syntax: regexp |
| wenzelm@28909 | 22 |
|
| neuper@55317 | 23 |
#cygwin: requires different 'components' and 'settings'--------\ |
| neuper@55317 | 24 |
^Cygwin-Setup.bat |
| neuper@55317 | 25 |
^Cygwin-Terminal.bat |
| neuper@55317 | 26 |
^Isabelle.exe |
| neuper@55317 | 27 |
#cygwin--------------------------------------------------------/ |
| neuper@55317 | 28 |
|
| neuper@55317 | 29 |
#--------------------------------------------------------------\ |
| neuper@55317 | 30 |
#TUG/isa is *always* merged into a *full* clone from TUM/isabelle |
| neuper@55317 | 31 |
^Admin/ |
| neuper@55317 | 32 |
^bin/ |
| neuper@55317 | 33 |
^browser_info/ |
| neuper@55317 | 34 |
^contrib/ |
| wneuper@55506 | 35 |
^doc/ |
| neuper@55317 | 36 |
^etc/ |
| wenzelm@28909 | 37 |
^heaps/ |
| neuper@55317 | 38 |
^doc/ |
| neuper@55317 | 39 |
^lib/ |
| neuper@55317 | 40 |
#--------------------------------------------------------------/ |
| neuper@55317 | 41 |
|
| neuper@55317 | 42 |
# students use various LaTeX tools (and create a mess)... |
| neuper@55317 | 43 |
^doc-isac/.*\.aux |
| neuper@55317 | 44 |
^doc-isac/.*\.bbl |
| neuper@55317 | 45 |
^doc-isac/.*\.blg |
| neuper@55317 | 46 |
^doc-isac/.*\.brf |
| neuper@55317 | 47 |
^doc-isac/.*\.dvi |
| neuper@55317 | 48 |
^doc-isac/.*\.ent |
| neuper@55317 | 49 |
^doc-isac/.*\.idx |
| neuper@55317 | 50 |
^doc-isac/.*\.ind |
| neuper@55317 | 51 |
^doc-isac/.*\.lof |
| neuper@55317 | 52 |
^doc-isac/.*\.log |
| neuper@55317 | 53 |
^doc-isac/.*\.nav |
| neuper@55317 | 54 |
^doc-isac/.*\.out |
| neuper@55317 | 55 |
^doc-isac/.*\.pdf |
| neuper@55317 | 56 |
^doc-isac/.*\.rai |
| neuper@55317 | 57 |
^doc-isac/.*\.rao |
| neuper@55317 | 58 |
^doc-isac/.*\.snm |
| neuper@55317 | 59 |
^doc-isac/.*\.synctex |
| neuper@55317 | 60 |
^doc-isac/.*\.tex.backup |
| neuper@55317 | 61 |
^doc-isac/.*\.toc |
| wenzelm@44167 | 62 |
^src/Tools/jEdit/dist/ |
| neuper@55317 | 63 |
|
| neuper@55317 | 64 |
^doc-src/isac/bib* |
| neuper@55317 | 65 |
^doc-src/isac/mlehnfeld/fig |
| neuper@55317 | 66 |
^doc-src/isac/msteger/fig/ |
| neuper@55317 | 67 |
|
| neuper@55317 | 68 |
^src/Tools/jEdit/nbproject/build-impl.xml |
| neuper@55317 | 69 |
^src/Tools/jEdit/nbproject/private/ |
| neuper@55317 | 70 |
^src/Tools/jEdit/build/ |
| neuper@55317 | 71 |
^src/Tools/jEdit/dist/ |
| neuper@55317 | 72 |
^src/Tools/jEdit/contrib/ |
| neuper@55317 | 73 |
|
| neuper@55317 | 74 |
^bin/isac_jedit |
| neuper@55317 | 75 |
#^src/Tools/jEditC/build.xml |
| neuper@55317 | 76 |
^src/Tools/jEditC/nbproject/build-impl.xml |
| neuper@55317 | 77 |
^src/Tools/jEditC/nbproject/private/ |
| neuper@55317 | 78 |
^src/Tools/jEditC/build/ |
| neuper@55317 | 79 |
^src/Tools/jEditC/dist/ |
| neuper@55317 | 80 |
^src/Tools/jEditC/contrib/ |
| neuper@55317 | 81 |
#^src/Tools/jEditC/src/Isac.scala |
| neuper@55317 | 82 |
^src/Tools/jEditC_xxxx/ |
| neuper@55317 | 83 |
^src/Tools/jEditC/SD_Test_Plugin_java-src |
| neuper@55317 | 84 |
|
| neuper@55317 | 85 |
^test/.*\.aux |
| neuper@55317 | 86 |
^test/.*\.bbl |
| neuper@55317 | 87 |
^test/.*\.blg |
| neuper@55317 | 88 |
^test/.*\.brf |
| neuper@55317 | 89 |
^test/.*\.dvi |
| neuper@55317 | 90 |
^test/.*\.lot |
| neuper@55317 | 91 |
^test/.*\.idx |
| neuper@55317 | 92 |
^test/.*\.ind |
| neuper@55317 | 93 |
^test/.*\.lof |
| neuper@55317 | 94 |
^test/.*\.log |
| neuper@55317 | 95 |
^test/.*\.lot |
| neuper@55317 | 96 |
^test/.*\.nav |
| neuper@55317 | 97 |
^test/.*\.out |
| neuper@55317 | 98 |
^test/.*\.pdf |
| neuper@55317 | 99 |
^test/.*\.rai |
| neuper@55317 | 100 |
^test/.*\.rao |
| neuper@55317 | 101 |
^test/.*\.snm |
| neuper@55317 | 102 |
^test/.*\.tex.backup |
| neuper@55317 | 103 |
^test/.*\.toc |
| neuper@55317 | 104 |
^test/.*\.ent |
| neuper@55317 | 105 |
^test/.*\.synctex |
| neuper@55317 | 106 |
|
| neuper@55317 | 107 |
^test/tmp/ |