.hgignore
author nipkow
Wed, 01 Apr 2009 16:03:00 +0200
changeset 30837 3d4832d9f7e4
parent 28941 9fb44eb4425d
child 31669 6802c34af5a9
permissions -rw-r--r--
added strong_setprod_cong[cong] (in analogy with setsum)
added some lemmas
     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