.hgignore
author wenzelm
Sun, 18 Apr 2021 16:11:38 +0200
changeset 60215 e7ef883d6bdc
parent 60186 a81828f24172
child 60785 5b6bd5ae739b
permissions -rw-r--r--
disentangle Isabelle repository "isab" vs. ISAC repository "isa":
isa/ISABELLE_VERSION specifies the required Isabelle version, for the current point of history of "isa";
isa/README.md explains how to work with the two repositories, including "isa" component setup for the Isabelle clone;
     1 syntax: glob
     2 
     3 *~
     4 *.class
     5 *.jar
     6 *.marks
     7 *.orig
     8 *.rej
     9 .DS_Store
    10 .swp
    11 
    12 syntax: regexp
    13 
    14 # students used various LaTeX tools (and created a mess) ------\
    15 ^doc-isac/.*\.aux
    16 ^doc-isac/.*\.bbl
    17 ^doc-isac/.*\.blg
    18 ^doc-isac/.*\.brf
    19 ^doc-isac/.*\.dvi
    20 ^doc-isac/.*\.ent
    21 ^doc-isac/.*\.idx
    22 ^doc-isac/.*\.ind
    23 ^doc-isac/.*\.lof
    24 ^doc-isac/.*\.log
    25 ^doc-isac/.*\.nav
    26 ^doc-isac/.*\.out
    27 ^doc-isac/.*\.pdf
    28 ^doc-isac/.*\.rai
    29 ^doc-isac/.*\.rao
    30 ^doc-isac/.*\.snm
    31 ^doc-isac/.*\.synctex
    32 ^doc-isac/.*\.tex.backup
    33 ^doc-isac/.*\.toc
    34 #doc-isac------------------------------------------------------/