public_html: Nominal/index.html@5b3defbaa00d (annotated)

402 9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN"
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	"http://www.w3.org/TR/html4/frameset.dtd">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	<html>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	<head>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	<meta content="text/html; charset=ISO-8859-1" http-equiv="content-type">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	<title>Nominal Methods Group</title>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	<link rel="stylesheet" href="nominal.css">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	</head>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	<frameset ROWS="130,*">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	<frame scrolling="no" frameborder="0" noresize="noresize" SRC="title.html" NAME="title">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	<frameset COLS="200,*">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	<frame scrolling="no" frameborder="0" noresize="noresize" SRC="menu.html"
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	NAME="menu">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	<frame noresize="noresize" frameborder="0" SRC="main.html"
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	NAME="content">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21	</frameset>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	</frameset>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	</html>

author	Christian Urban <urbanc@in.tum.de>
	Fri, 15 Sep 2017 11:09:47 +0100 (2017-09-15)
changeset 496	5b3defbaa00d
parent 402	9e089afe5086
permissions	-rw-r--r--