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 wenzelm
Thu, 15 Jul 2021 16:35:45 +0200
changeset 73987 fc363a3b690a
parent 71411 839bf7d74fae
child 74010 4f60db51a263
permissions -rw-r--r--
build.props for isabelle.jar, including isabelle.jedit; build minimal Isabelle/jEdit plugins on the spot; regular "jedit" component: discontinued special "jedit_build"; Isabelle/Scala services via jars, instead of settings;
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








56419






f47de9e82b0f
ignore jedit mark files



paulson <lp15@cam.ac.uk>


parents: 
55138

diff
changeset




     6


*.marks








48808






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



wenzelm


parents: 
43287

diff
changeset




     7


*.orig













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



wenzelm


parents: 
43287

diff
changeset




     8


*.rej








28909






40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




     9


.DS_Store








54560






7f36da77130d
more .hgignore;



wenzelm


parents: 
48973

diff
changeset




    10


.swp








28909






40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




    11














40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




    12














40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




    13


syntax: regexp













40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




    14









31669






6802c34af5a9
ignore in-situ contrib symlinks



haftmann


parents: 
28943

diff
changeset




    15


^contrib








28909






40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




    16


^heaps/













40d87c73120d
basic setup of .hgignore;



wenzelm


parents: 

diff
changeset




    17


^browser_info/








48973






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



wenzelm


parents: 
48808

diff
changeset




    18


^doc/.*\.pdf








71411






839bf7d74fae
ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);



wenzelm


parents: 
66069

diff
changeset




    19


^lib/classes/








64605






9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 
63864

diff
changeset




    20


^src/Tools/VSCode/out/













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 
63864

diff
changeset




    21


^src/Tools/VSCode/extension/node_modules/








63191






c3896c385c3e
ignore Maven build products



Lars Hupel <lars.hupel@mytum.de>


parents: 
56419

diff
changeset




    22


^Admin/jenkins/ci-extras/target/















isabelle