Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
.hgignore
author wenzelm
Thu, 03 Oct 2013 17:03:20 +0200
changeset 55192 65c6a00ff86b
parent 49988 fcd21f714996
child 52054 8c7f0f37a3ab
child 55270 a556fcaf2ae3
child 55317 4300525448d7
child 55933 7f36da77130d
permissions -rw-r--r--
Added tag Isabelle2013-1-RC1 for changeset c37100233af7 
     1 syntax: glob

     2 

     3 *~

     4 *.class

     5 *.jar

     6 *.orig

     7 *.rej

     8 .DS_Store

     9 

    10 

    11 syntax: regexp

    12 

    13 ^contrib

    14 ^heaps/

    15 ^browser_info/

    16 ^doc/.*\.dvi

    17 ^doc/.*\.eps

    18 ^doc/.*\.pdf

    19 ^doc/.*\.ps

    20 ^src/Tools/jEdit/dist/
wneuper/isa