diff options
Diffstat (limited to 'edit.html')
| -rw-r--r-- | edit.html | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/edit.html b/edit.html new file mode 100644 index 0000000..496fa35 --- /dev/null +++ b/edit.html @@ -0,0 +1,13 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> +<html lang="en"> +<head> + <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> + <title>derivation editor</title> + <script src="raphael.js" type="text/javascript" charset="utf-8"></script> + <script src="r.js" type="text/javascript" charset="utf-8"></script> +</head> +<body> + <div id="holder"></div> +</body> +</html> + |