Mercurial Mercurial > repos > isabelle / diff
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
changeset 43287 acc680ab6204
parent 43281 8d8b6ed0588c
child 48808 28f1d184c093 
--- a/.hgignore	Wed Jun 08 21:40:54 2011 +0200
+++ b/.hgignore	Wed Jun 08 22:06:05 2011 +0200
@@ -21,3 +21,4 @@
 ^doc-src/.*\.log
 ^doc-src/.*\.out
 ^doc-src/.*\.toc
+^src/Tools/jEdit/dist/
isabelle