Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
653a9e48
Commit
653a9e48
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2004-12-28 01:10:06 by afrisch] Demo
Original author: afrisch Date: 2004-12-28 01:13:33+00:00
parent
16b948d2
Changes
2
Hide whitespace changes
Inline
Side-by-side
driver/evaluator.ml
View file @
653a9e48
...
...
@@ -52,7 +52,7 @@ let () =
with
End_of_file
->
()
);
let
prog
=
Buffer
.
contents
prog
in
let
res
=
try
exec
prog
with
Timeout
->
"Timeout reached !"
in
let
res
=
cut
8
0
res
in
let
res
=
cut
6
0
res
in
print_string
header
;
print_endline
"<pre>"
;
print_endline
res
;
...
...
web/demo.xml
View file @
653a9e48
...
...
@@ -3,27 +3,30 @@
<title>
CDuce demo
</title>
<box
title=
"Demo"
link=
"demo"
>
<two-columns>
<left>
<xhtml>
<table
style=
"width:100%"
>
<tr>
<td
style=
"width:50%"
>
<input
type=
"submit"
value=
"Evaluate"
onclick=
"submit('a');"
/>
<input
type=
"button"
value=
"Clear"
onclick=
"clearreq('a');"
/>
<br/>
<textarea
id=
"areq"
cols=
"80"
rows=
"25"
>
let x = 1;;
</textarea>
<br/>
</xhtml>
</left>
<right>
<xhtml>
</td>
<td
style=
"width:50%"
>
<input
type=
"button"
value=
"Clear"
onclick=
"show_result('a','');"
/>
<br/>
</td>
</tr>
<tr>
<td>
<textarea
id=
"areq"
cols=
"60"
rows=
"25"
>
[];;
</textarea>
</td>
<td
valign=
"top"
>
<div
id=
"ares"
></div>
</td>
</tr>
</table>
<script
src=
"demo.js"
type=
"text/javascript"
/>
</xhtml>
</right>
</two-columns>
</box>
</page>
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment