author | Walther Neuper <neuper@ist.tugraz.at> |
Wed, 20 Nov 2013 16:05:33 +0100 | |
changeset 55271 | 13a9f89312d8 |
parent 55270 | a556fcaf2ae3 |
child 55272 | 6e943f644cca |
permissions | -rwxr-xr-x |
wenzelm@28909 | 1 |
syntax: glob |
wenzelm@28909 | 2 |
|
wenzelm@28909 | 3 |
*~ |
wenzelm@28911 | 4 |
*.class |
wenzelm@28911 | 5 |
*.jar |
wenzelm@49823 | 6 |
*.orig |
wenzelm@49823 | 7 |
*.rej |
wenzelm@28909 | 8 |
.DS_Store |
wenzelm@28909 | 9 |
|
neuper@55270 | 10 |
# from Isabelle2002, 2011, 2012 |
neuper@55270 | 11 |
*.stackdump |
neuper@55270 | 12 |
*.tgz |
neuper@55270 | 13 |
*.marks |
neuper@55270 | 14 |
*.html # for cygwin |
neuper@55270 | 15 |
|
wenzelm@28909 | 16 |
|
wenzelm@28909 | 17 |
syntax: regexp |
wenzelm@28909 | 18 |
|
haftmann@31669 | 19 |
^contrib |
wenzelm@28909 | 20 |
^heaps/ |
wenzelm@28909 | 21 |
^browser_info/ |
wenzelm@49988 | 22 |
^doc/.*\.dvi |
wenzelm@49988 | 23 |
^doc/.*\.eps |
wenzelm@49988 | 24 |
^doc/.*\.pdf |
wenzelm@49988 | 25 |
^doc/.*\.ps |
wenzelm@44167 | 26 |
^src/Tools/jEdit/dist/ |
neuper@55270 | 27 |
|
neuper@55270 | 28 |
#cygwin: requires different 'components' and 'settings'--------\ |
neuper@55270 | 29 |
^Cygwin-Setup.bat |
neuper@55270 | 30 |
^Cygwin-Terminal.bat |
neuper@55270 | 31 |
^Isabelle.exe |
neuper@55270 | 32 |
#cygwin--------------------------------------------------------/ |
neuper@55270 | 33 |
|
neuper@55270 | 34 |
#--------------------------------------------------------------\ |
neuper@55270 | 35 |
#TUG/isa is *always* merged into a *full* clone from TUM/isabelle |
neuper@55270 | 36 |
^Admin/ |
neuper@55270 | 37 |
^bin/ |
neuper@55270 | 38 |
^contrib/ |
neuper@55270 | 39 |
^etc/ |
neuper@55270 | 40 |
^lib/ |
neuper@55270 | 41 |
#--------------------------------------------------------------/ |
neuper@55270 | 42 |
|
neuper@55270 | 43 |
# students use various LaTeX tools (and create a mess)... |
neuper@55270 | 44 |
^doc-isac/.*\.aux |
neuper@55270 | 45 |
^doc-isac/.*\.bbl |
neuper@55270 | 46 |
^doc-isac/.*\.blg |
neuper@55270 | 47 |
^doc-isac/.*\.brf |
neuper@55270 | 48 |
^doc-isac/.*\.dvi |
neuper@55270 | 49 |
^doc-isac/.*\.ent |
neuper@55270 | 50 |
^doc-isac/.*\.idx |
neuper@55270 | 51 |
^doc-isac/.*\.ind |
neuper@55270 | 52 |
^doc-isac/.*\.lof |
neuper@55270 | 53 |
^doc-isac/.*\.log |
neuper@55270 | 54 |
^doc-isac/.*\.nav |
neuper@55270 | 55 |
^doc-isac/.*\.out |
neuper@55270 | 56 |
^doc-isac/.*\.pdf |
neuper@55270 | 57 |
^doc-isac/.*\.rai |
neuper@55270 | 58 |
^doc-isac/.*\.rao |
neuper@55270 | 59 |
^doc-isac/.*\.snm |
neuper@55270 | 60 |
^doc-isac/.*\.synctex |
neuper@55270 | 61 |
^doc-isac/.*\.tex.backup |
neuper@55270 | 62 |
^doc-isac/.*\.toc |
neuper@55270 | 63 |
|
neuper@55270 | 64 |
^bin/isac_jedit |
neuper@55270 | 65 |
#^src/Tools/jEditC/build.xml |
neuper@55270 | 66 |
^src/Tools/jEditC/nbproject/build-impl.xml |
neuper@55270 | 67 |
^src/Tools/jEditC/nbproject/private/ |
neuper@55270 | 68 |
^src/Tools/jEditC/build/ |
neuper@55270 | 69 |
^src/Tools/jEditC/dist/ |
neuper@55270 | 70 |
^src/Tools/jEditC/contrib/ |
neuper@55270 | 71 |
#^src/Tools/jEditC/src/Isac.scala |
neuper@55270 | 72 |
^src/Tools/jEditC_xxxx/ |
neuper@55270 | 73 |
^src/Tools/jEditC/SD_Test_Plugin_java-src |
neuper@55270 | 74 |
|
neuper@55270 | 75 |
^test/.*\.aux |
neuper@55270 | 76 |
^test/.*\.bbl |
neuper@55270 | 77 |
^test/.*\.blg |
neuper@55270 | 78 |
^test/.*\.brf |
neuper@55270 | 79 |
^test/.*\.dvi |
neuper@55270 | 80 |
^test/.*\.lot |
neuper@55270 | 81 |
^test/.*\.idx |
neuper@55270 | 82 |
^test/.*\.ind |
neuper@55270 | 83 |
^test/.*\.lof |
neuper@55270 | 84 |
^test/.*\.log |
neuper@55270 | 85 |
^test/.*\.lot |
neuper@55270 | 86 |
^test/.*\.nav |
neuper@55270 | 87 |
^test/.*\.out |
neuper@55270 | 88 |
^test/.*\.pdf |
neuper@55270 | 89 |
^test/.*\.rai |
neuper@55270 | 90 |
^test/.*\.rao |
neuper@55270 | 91 |
^test/.*\.snm |
neuper@55270 | 92 |
^test/.*\.tex.backup |
neuper@55270 | 93 |
^test/.*\.toc |
neuper@55270 | 94 |
^test/.*\.ent |
neuper@55270 | 95 |
^test/.*\.synctex |
neuper@55270 | 96 |