author | Walther Neuper <neuper@ist.tugraz.at> |
Thu, 23 Jun 2011 15:03:06 +0200 | |
branch | decompose-isar |
changeset 42059 | fc537b152330 |
parent 42046 | bb864b8144a3 |
child 42061 | 6199f452aacd |
permissions | -rw-r--r-- |
wenzelm@28909 | 1 |
syntax: glob |
wenzelm@28909 | 2 |
|
wenzelm@28909 | 3 |
*~ |
wenzelm@28911 | 4 |
*.class |
wenzelm@28911 | 5 |
*.jar |
wenzelm@28909 | 6 |
.DS_Store |
wenzelm@28909 | 7 |
|
neuper@38076 | 8 |
*.tgz |
neuper@37924 | 9 |
*.orig |
wenzelm@28909 | 10 |
|
wenzelm@28909 | 11 |
syntax: regexp |
wenzelm@28909 | 12 |
|
haftmann@31669 | 13 |
^contrib |
wenzelm@28909 | 14 |
^heaps/ |
wenzelm@28909 | 15 |
^browser_info/ |
wenzelm@28941 | 16 |
^doc-src/.*\.aux |
wenzelm@28941 | 17 |
^doc-src/.*\.bbl |
wenzelm@28941 | 18 |
^doc-src/.*\.blg |
wenzelm@28941 | 19 |
^doc-src/.*\.dvi |
neuper@37895 | 20 |
^doc-src/.*\.lot |
wenzelm@28941 | 21 |
^doc-src/.*\.idx |
wenzelm@28941 | 22 |
^doc-src/.*\.ind |
wenzelm@31926 | 23 |
^doc-src/.*\.lof |
wenzelm@28941 | 24 |
^doc-src/.*\.log |
neuper@37898 | 25 |
^doc-src/.*\.lot |
neuper@41965 | 26 |
^doc-src/.*\.nav |
wenzelm@28941 | 27 |
^doc-src/.*\.out |
neuper@37895 | 28 |
^doc-src/.*\.pdf |
wenzelm@28941 | 29 |
^doc-src/.*\.rai |
wenzelm@28941 | 30 |
^doc-src/.*\.rao |
neuper@41965 | 31 |
^doc-src/.*\.snm |
neuper@37895 | 32 |
^doc-src/.*\.tex.backup |
wenzelm@28941 | 33 |
^doc-src/.*\.toc |
wenzelm@28909 | 34 |
|
neuper@37871 | 35 |
^doc/.* |
neuper@37895 | 36 |
^doc-src/isac/bib* |
neuper@42025 | 37 |
^doc-src/isac/mlehnfeld/fig |
neuper@42046 | 38 |
^doc-src/isac/msteger/fig/ |
neuper@37871 | 39 |
|
neuper@38079 | 40 |
^src/Tools/jEdit/nbproject/build-impl.xml |
wenzelm@34873 | 41 |
^src/Tools/jEdit/nbproject/private/ |
wenzelm@34873 | 42 |
^src/Tools/jEdit/build/ |
wenzelm@34873 | 43 |
^src/Tools/jEdit/dist/ |
neuper@38084 | 44 |
^src/Tools/jEdit/contrib/ |
neuper@38084 | 45 |
|
neuper@42059 | 46 |
^bin/isac_jedit |
neuper@42059 | 47 |
^src/Tools/jEditC/build.xml |
neuper@42059 | 48 |
^src/Tools/jEditC/nbproject/build-impl.xml |
neuper@42059 | 49 |
^src/Tools/jEditC/nbproject/private/ |
neuper@42059 | 50 |
^src/Tools/jEditC/build/ |
neuper@42059 | 51 |
^src/Tools/jEditC/dist/ |
neuper@42059 | 52 |
^src/Tools/jEditC/contrib/ |
neuper@42059 | 53 |
^src/Tools/jEditC/src/Isac.scala |