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.
adjusted web link
authorhaftmann
Mon, 26 Sep 2005 08:41:24 +0200
changeset 17646 c5a4fe81857e
parent 17645 940371ea0ff3
child 17647 bcf00e7b251b
adjusted web link
src/HOLCF/FOCUS/Buffer.thy file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/FOCUS/Buffer.thy	Mon Sep 26 02:27:59 2005 +0200
+++ b/src/HOLCF/FOCUS/Buffer.thy	Mon Sep 26 08:41:24 2005 +0200
@@ -16,7 +16,7 @@
     publisher = {Springer}
 }
 
-Slides available from http://isabelle.in.tum.de/HOLCF/1-Buffer.ps.gz
+Slides available from http://ddvo.net/talks/1-Buffer.ps.gz
 
 *)
isabelle