1 files changed, 0 insertions, 56 deletions
diff --git a/language-web/src/main/webapp/index.html b/language-web/src/main/webapp/index.html
deleted file mode 100644
index 3e068f68..00000000
--- a/language-web/src/main/webapp/index.html
+++ /dev/null
@@ -1,56 +0,0 @@
-<!DOCTYPE html>
-<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta http-equiv="Content-Language" content="en-us">
-<title>Example Web Editor</title>
-<link rel="stylesheet" type="text/css" href="webjars/codemirror/5.52.2/lib/codemirror.css" />
-<link rel="stylesheet" type="text/css" href="webjars/codemirror/5.52.2/addon/hint/show-hint.css" />
-<link rel="stylesheet" type="text/css" href="xtext/2.26.0.M1/xtext-codemirror.css" />
-<link rel="stylesheet" type="text/css" href="style.css" />
-<body>
-    <div class="container">
-        <div class="header">
-            <h1>Example Problem Web Editor</h1>
-        </div>
-        <div class="content">
-            <div class="xtext-editor"
-                 data-editor-xtext-lang="problem"
-                 data-editor-enable-formatting-action="true"
-                 data-editor-send-full-text="false"
-            ><pre>class Family {
-  contains Person[] members
-}
-class Person {
-  Person[] children opposite parent
-  Person[0..1] parent opposite children
-  int age
-  TaxStatus taxStatus
-}
-enum TaxStatus {
-  child, student, adult, retired
-}
-% A child cannot have any dependents.
-error invalidTaxStatus(Person p) :-
-  taxStatus(p, child), children(p, _q).
-Family('family').
-members('family', anne).
-members('family', bob).
-members('family', ciri).
-children(anne, ciri).
-?children(bob, ciri).
-taxStatus(anne, adult).
-age(anne, 35).
-bobAge: 27.
-age(bob, bobAge).
-!age(ciri, bobAge).
-scope Family = 1, Person += 5..10.
-</pre></div>
-        </div>
-    </div>
-    <script type="text/javascript" src="webjars/requirejs/2.3.6/require.min.js"></script>
-    <script type="text/javascript" src="script.js"></script>
-</body>

diff --git a/language-web/src/main/webapp/index.html b/language-web/src/main/webapp/index.html deleted file mode 100644 index 3e068f68..00000000 --- a/language-web/src/main/webapp/index.html +++ /dev/null
@@ -1,56 +0,0 @@
1	<!DOCTYPE html>
2	<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
3	<meta http-equiv="Content-Language" content="en-us">
4	<title>Example Web Editor</title>
5	<link rel="stylesheet" type="text/css" href="webjars/codemirror/5.52.2/lib/codemirror.css" />
6	<link rel="stylesheet" type="text/css" href="webjars/codemirror/5.52.2/addon/hint/show-hint.css" />
7	<link rel="stylesheet" type="text/css" href="xtext/2.26.0.M1/xtext-codemirror.css" />
8	<link rel="stylesheet" type="text/css" href="style.css" />
9	<body>
10	<div class="container">
11	<div class="header">
12	<h1>Example Problem Web Editor</h1>
13	</div>
14	<div class="content">
15	<div class="xtext-editor"
16	data-editor-xtext-lang="problem"
17	data-editor-enable-formatting-action="true"
18	data-editor-send-full-text="false"
19	><pre>class Family {
20	contains Person[] members
21	}
22
23	class Person {
24	Person[] children opposite parent
25	Person[0..1] parent opposite children
26	int age
27	TaxStatus taxStatus
28	}
29
30	enum TaxStatus {
31	child, student, adult, retired
32	}
33
34	% A child cannot have any dependents.
35	error invalidTaxStatus(Person p) :-
36	taxStatus(p, child), children(p, _q).
37
38	Family('family').
39	members('family', anne).
40	members('family', bob).
41	members('family', ciri).
42	children(anne, ciri).
43	?children(bob, ciri).
44	taxStatus(anne, adult).
45	age(anne, 35).
46	bobAge: 27.
47	age(bob, bobAge).
48	!age(ciri, bobAge).
49
50	scope Family = 1, Person += 5..10.
51	</pre></div>
52	</div>
53	</div>
54	<script type="text/javascript" src="webjars/requirejs/2.3.6/require.min.js"></script>
55	<script type="text/javascript" src="script.js"></script>
56	</body>