Commit 6fefcac2 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Remove pointless javascript from help files.

parent fb11fb6d
......@@ -4,20 +4,6 @@
<title>Verify C Code using Why3</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<link rel="stylesheet" type="text/css" href="trywhy3_help.css" />
<script defer="defer" src="ace-builds/src-min-noconflict/ace.js"
type="text/javascript" charset="utf-8"></script>
<script type="text/javascript">
var load_embedded_files = false;
var editor_theme = "ace/theme/chrome";
var editor_mode = "ace/mode/python";
var task_viewer_mode = "ace/mode/why3";
var library_index = "examples/index.txt";
</script>
<script defer="defer" type="text/javascript"
src="trywhy3.js"></script>
</head>
<body>
......
......@@ -4,20 +4,6 @@
<title>Verify Python Code using Why3</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<link rel="stylesheet" type="text/css" href="trywhy3_help.css" />
<script defer="defer" src="ace-builds/src-min-noconflict/ace.js"
type="text/javascript" charset="utf-8"></script>
<script type="text/javascript">
var load_embedded_files = false;
var editor_theme = "ace/theme/chrome";
var editor_mode = "ace/mode/python";
var task_viewer_mode = "ace/mode/why3";
var library_index = "examples/index.txt";
</script>
<script defer="defer" type="text/javascript"
src="trywhy3.js"></script>
</head>
<body>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment