Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Zur Freude von Sebastian Skalberg!
authorballarin
Fri, 16 Apr 2004 12:07:01 +0200
changeset 14587 3966c5c6035d
parent 14586 7b8d56b4ac60
child 14588 29311d81954e
Zur Freude von Sebastian Skalberg!
doc-src/Locales/.cvsignore file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/Locales/.cvsignore	Fri Apr 16 12:07:01 2004 +0200
@@ -0,0 +1,2 @@
+locales.out
+locales.pdf
isabelle