Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
.hgignore
author hoelzl
Mon, 10 Mar 2014 20:04:40 +0100
changeset 56020 f92479477c52
parent 55138 2fa86fa27a0f
child 56419 f47de9e82b0f
permissions -rw-r--r--
introduced antimono; incseq, decseq are now abbreviations for mono and antimono; renamed Library/Continuity to Library/Order_Continuity; removed up_cont; renamed down_cont to down_continuity and generalized to complete_lattices
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
28909
40d87c73120d basic setup of .hgignore;
wenzelm
parents:
diff changeset 
     1
 
syntax: glob
40d87c73120d basic setup of .hgignore;
wenzelm
parents:
diff changeset 
     2
 












40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




     3


*~








28911






88193464e443
more .hgignore entries;



wenzelm


parents: 
28909

diff
changeset




     4


*.class













88193464e443
more .hgignore entries;



wenzelm


parents: 
28909

diff
changeset




     5


*.jar








48808






28f1d184c093
ignore some administrative files on newer Mercurial versions as well;



wenzelm


parents: 
43287

diff
changeset




     6


*.orig













28f1d184c093
ignore some administrative files on newer Mercurial versions as well;



wenzelm


parents: 
43287

diff
changeset




     7


*.rej








28909






40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




     8


.DS_Store








54560






7f36da77130d
more .hgignore;



wenzelm


parents: 
48973

diff
changeset




     9


.swp








28909






40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




    10














40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




    11














40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




    12


syntax: regexp













40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




    13









31669






6802c34af5a9
ignore in-situ contrib symlinks



haftmann


parents: 
28943

diff
changeset




    14


^contrib








28909






40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




    15


^heaps/













40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




    16


^browser_info/








48973






fcd21f714996
updated .hgignore to reflect to (almost) clean result of build_doc;



wenzelm


parents: 
48808

diff
changeset




    17


^doc/.*\.dvi













fcd21f714996
updated .hgignore to reflect to (almost) clean result of build_doc;



wenzelm


parents: 
48808

diff
changeset




    18


^doc/.*\.eps













fcd21f714996
updated .hgignore to reflect to (almost) clean result of build_doc;



wenzelm


parents: 
48808

diff
changeset




    19


^doc/.*\.pdf













fcd21f714996
updated .hgignore to reflect to (almost) clean result of build_doc;



wenzelm


parents: 
48808

diff
changeset




    20


^doc/.*\.ps








43287






acc680ab6204
simplified directory structure;



wenzelm


parents: 
43281

diff
changeset




    21


^src/Tools/jEdit/dist/















isabelle