.hgignore
author nipkow
Fri, 03 Apr 2009 16:17:50 +0200
changeset 30863 5dc392a59bb7
parent 28941 9fb44eb4425d
child 31669 6802c34af5a9
permissions -rw-r--r--
Finite_Set: lemma
IsarRef: attribute arith
     1 syntax: glob
     2 
     3 *~
     4 *.class
     5 *.jar
     6 .DS_Store
     7 
     8 
     9 syntax: regexp
    10 
    11 ^heaps/
    12 ^browser_info/
    13 ^doc-src/.*\.aux
    14 ^doc-src/.*\.bbl
    15 ^doc-src/.*\.blg
    16 ^doc-src/.*\.dvi
    17 ^doc-src/.*\.idx
    18 ^doc-src/.*\.ind
    19 ^doc-src/.*\.log
    20 ^doc-src/.*\.out
    21 ^doc-src/.*\.rai
    22 ^doc-src/.*\.rao
    23 ^doc-src/.*\.toc
    24