.hgignore
author Walther Neuper <wneuper@ist.tugraz.at>
Mon, 17 Dec 2018 12:58:12 +0100
changeset 5233 f9e91d4ee161
parent 4824 97fb82586e9c
permissions -rw-r--r--
------ connection to new math-engine on Isabelle2018: question 2 to Lars
gdaroczy@4254
     1
wneuper@4691
     2
##############################################################################
neuper@3936
     3
syntax: glob
neuper@3936
     4
neuper@3936
     5
*~
neuper@3936
     6
*.class
neuper@3936
     7
*.orig
wneuper@4704
     8
# *.tgz
kober@3990
     9
*.svn*
neuper@3936
    10
s1420454023@4824
    11
.metadata
s1420454023@4824
    12
isac-java/.cache*
neuper@4451
    13
isac-java/doc/mkienl_fkober/fig
neuper@4451
    14
isac-java/doc/mkienl_fkober/bib
neuper@4251
    15
 
neuper@3958
    16
xmldata/temp_file
neuper@3936
    17
#dist/isac-java.jar
neuper@3936
    18
neuper@4451
    19
isac-java/manifest.mf
neuper@4451
    20
isac-java/src/java/log4j.properties
wneuper@4701
    21
isac-java/sml/BridgeLog/general.txt
neuper@3936
    22
wneuper@4691
    23
# eclipse specific
wneuper@4691
    24
isac-java/.classpath
wneuper@4691
    25
isac-java/.project
wneuper@4691
    26
isac-java/.settings
wneuper@4691
    27
isac-web/.classpath
wneuper@4691
    28
isac-web/.project
wneuper@4691
    29
wneuper@4691
    30
##############################################################################
neuper@3936
    31
syntax: regexp
neuper@3936
    32
wneuper@4701
    33
^isac-java/bin/
neuper@4451
    34
^isac-java/dist/
neuper@4451
    35
^isac-java/src/java/properties/
neuper@4451
    36
^isac-java/src/java/log4j.properties
neuper@3936
    37
neuper@4595
    38
^isac-web/build/
neuper@4595
    39
^isac-web/dist/
tzilling@4602
    40
^isac-web/web/WEB-INF/resources/jnlp/isac-java.jar
tzilling@4602
    41
^isac-web/web/WEB-INF/resources/jnlp/WindowApplication.properties
neuper@4595
    42
^isac-web/nbproject/private/
neuper@4595
    43
wneuper@4691
    44
# pdflatex specific
neuper@3964
    45
^doc/.*\.aux
neuper@3964
    46
^doc/.*\.bbl
neuper@3964
    47
^doc/.*\.blg
neuper@3964
    48
^doc/.*\.brf
neuper@3964
    49
^doc/.*\.dvi
neuper@3964
    50
^doc/.*\.lot
neuper@3964
    51
^doc/.*\.idx
neuper@3964
    52
^doc/.*\.ind
neuper@3964
    53
^doc/.*\.lof
neuper@3964
    54
^doc/.*\.log
neuper@3964
    55
^doc/.*\.lot
neuper@3964
    56
^doc/.*\.nav
neuper@3964
    57
^doc/.*\.out
neuper@3964
    58
^doc/.*\.pdf
neuper@3964
    59
^doc/.*\.rai
neuper@3964
    60
^doc/.*\.rao
neuper@3964
    61
^doc/.*\.snm
neuper@3964
    62
^doc/.*\.tex.backup
neuper@3964
    63
^doc/.*\.toc
gdaroczy@4305
    64
^doc/.*\.bak
gdaroczy@4283
    65
^doc/.*\.synctex.gz
neuper@3964
    66
wneuper@4691
    67
# hg specific
neuper@3936
    68
\.orig\..*$
neuper@3936
    69
\.orig$
neuper@3936
    70
\.chg\..*$
neuper@3936
    71
\.rej$
neuper@3936
    72
\.conflict\~$
gdaroczy@4305
    73
gdaroczy@4305
    74
gdaroczy@4305
    75