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.
ANNOUNCE
changeset 13045 1db0bdda1d32
parent 13042 d8a345d9e067
child 14021 24bf519625ab 
--- a/ANNOUNCE	Fri Mar 08 10:57:53 2002 +0100
+++ b/ANNOUNCE	Fri Mar 08 11:41:10 2002 +0100
@@ -71,4 +71,3 @@
   Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
   Munich (Germany)  http://isabelle.in.tum.de/dist/
   New Jersey (USA)  ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
-  Stanford (USA)    ftp://rodin.stanford.edu/pub/smlnj/isabelle/index.html
isabelle