Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
.hgignore
2017-06-12
wenzelm
obsolete;
file
|
diff
|
annotate
2017-05-06
wenzelm
obsolete;
file
|
diff
|
annotate
2016-12-19
wenzelm
basic support for VSCode Language Server protocol;
file
|
diff
|
annotate
2016-09-14
Lars Hupel
ignore default output directory of 'build_stats' tool
file
|
diff
|
annotate
2016-05-31
Lars Hupel
ignore Maven build products
file
|
diff
|
annotate
2014-04-05
paulson
ignore jedit mark files
file
|
diff
|
annotate
2014-01-25
wenzelm
reverted cb17feba74e0, avoid sweeping garbage under the carped (MaSh should not create .pyc files anymore, see also 778b2b8f4a35, 347f743e8336);
file
|
diff
|
annotate
2013-11-25
paulson
MaSH files should be ignored
file
|
diff
|
annotate
2013-11-22
wenzelm
more .hgignore;
file
|
diff
|
annotate
2012-08-28
wenzelm
updated .hgignore to reflect to (almost) clean result of build_doc;
file
|
diff
|
annotate
2012-08-14
wenzelm
ignore some administrative files on newer Mercurial versions as well;
file
|
diff
|
annotate
2011-06-08
wenzelm
simplified directory structure;
file
|
diff
|
annotate
2011-06-08
wenzelm
removed obsolete Netbeans project setup;
file
|
diff
|
annotate
2011-05-01
wenzelm
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
file
|
diff
|
annotate
2010-01-11
wenzelm
ignore some src/Tools/jEdit stuff;
file
|
diff
|
annotate
2009-07-03
wenzelm
more hgignore;
file
|
diff
|
annotate
2009-06-16
haftmann
ignore in-situ contrib symlinks
file
|
diff
|
annotate
2008-12-01
wenzelm
ignore aux stuff in doc-src;
file
|
diff
|
annotate
2008-11-29
wenzelm
more .hgignore entries;
file
|
diff
|
annotate
2008-11-29
wenzelm
basic setup of .hgignore;
file
|
diff
|
annotate
less
more
(0)
tip