Mercurial Mercurial > hg > public_html / 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.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Sun, 10 Apr 2016 20:57:33 +0100
changeset 429 882ff9b28510
parent 428 c214a2dce02c
child 430 9dae6e101cde
updated
Nominal/LF/index.html file | annotate | diff | comparison | revisions 
--- a/Nominal/LF/index.html	Sun Apr 10 20:50:57 2016 +0100
+++ b/Nominal/LF/index.html	Sun Apr 10 20:57:33 2016 +0100
@@ -4,6 +4,8 @@
 <head>
   <title>The Nominal Datatype Package</title>
   <link rel="stylesheet" href="nominal.css">
+  <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal">
+
 </head>
 
 <body>
public_html