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