Mercurial Mercurial > hg > public_html / file revision
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.
Nominal/oregon.html
author Christian Urban <urbanc@in.tum.de>
Thu, 16 Nov 2017 00:53:04 +0000
changeset 520 c6289d90d8ee
parent 465 4dac76eb27d9
permissions -rw-r--r--
updated

<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <title>The Nominal Datatype Package</title>
  <link rel="stylesheet" href="nominal.css">
</head>

<body>

<META 
     HTTP-EQUIV="Refresh"
     CONTENT="2; URL=http://nms.kcl.ac.uk/christian.urban/Nominal/activities/oregon.html">



</body>
</html>
public_html