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.
Isabelle2002 (January 2002);
authorwenzelm
Fri, 11 Jan 2002 18:49:25 +0100
changeset 12724 beedc794bd67
parent 12723 0451211bf4a0
child 12725 7ede865e1fe5
Isabelle2002 (January 2002);
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Fri Jan 11 18:07:45 2002 +0100
+++ b/NEWS	Fri Jan 11 18:49:25 2002 +0100
@@ -2,8 +2,8 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
-New in Isabelle2001 (December 2001)
------------------------------------
+New in Isabelle2002 (January 2002)
+----------------------------------
 
 *** Document preparation ***
isabelle