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 blanchet
Wed, 02 Oct 2013 16:29:40 +0200
changeset 55167 732b53d9b720
parent 49988 fcd21f714996
child 52054 8c7f0f37a3ab
child 55270 a556fcaf2ae3
child 55317 4300525448d7
child 55933 7f36da77130d
permissions -rw-r--r--
don't register equations of the form 'f x = ...' as simp rules, even if they are safe (noncorecursive), because they unfold too aggresively concepts users are likely to want to stay folded 
     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