Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 22 Oct 1999 18:26:46 +0200 new theorems on Image
changeset
paulson [Fri, 22 Oct 1999 18:26:46 +0200] rev 7913
new theorems on Image
Fri, 22 Oct 1999 17:04:19 +0200 tidied using modern infix form
changeset
paulson [Fri, 22 Oct 1999 17:04:19 +0200] rev 7912
tidied using modern infix form
Thu, 21 Oct 1999 19:00:25 +0200 tuned trace_action;
changeset
wenzelm [Thu, 21 Oct 1999 19:00:25 +0200] rev 7911
tuned trace_action;
Thu, 21 Oct 1999 19:00:01 +0200 added known_thy;
changeset
wenzelm [Thu, 21 Oct 1999 19:00:01 +0200] rev 7910
added known_thy; added touch_child_thys; tuned loaded_files;
(0) -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle