-
Notifications
You must be signed in to change notification settings - Fork 0
/
hackc.html
57 lines (55 loc) · 2.01 KB
/
hackc.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
<!doctype html>
<html>
<!-- Copyright (C) 2015 Basile Starynkevitch and later the FSF
MONIMELT is a monitor for MELT - see http://gcc-melt.org/
This file is part of GCC.
GCC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.
GCC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3. If not see
<http://www.gnu.org/licenses/>.
-->
<head>
<meta charset='utf-8'/>
<title>Hacking Monimelt</title>
<link rel="stylesheet" type="text/css" href="codemirror.css">
<link rel="stylesheet" type="text/css" href="codemirror-theme-neo.css">
<script src='jquery.min.js'></script>
<script src='codemirror.js'></script>
<script src='codemirror-clike.js'></script>
<script src='codemirror-emacs-keymap.js'></script>
<script src='hackc.js'></script>
<style>
.compilemsg {
color: navy;
font-family: Courier;
font-size: 90%;
background-color: #f6f0f3;
}
</style>
</head>
<body>
<h1>Hacking Monimelt</h1>
<h2>Prologue code:</h2>
<textarea id='prologuetxa_id' name='prologuetxt'>
/// prologue declaration and code</textarea>
<hr/>
<h2>Initial code:</h2>
<textarea id='initialtxa_id' name='initialtxt'>
/// initial code (with momhackitm)</textarea>
<hr/>
<label for='hackc_id'>run above code: </label>
<input type='submit' name='do_hackc' id='hackc_id' value='Run'/>
-- <label for='stop_id'>stop all:</label>
<input type='submit' name='do_stop' id='stop_id' value='Stop'/>
<hr/>
<div id='outcomp_id'>
</div>
</body>
</html>