Skip to content

GitLab

why3
why3
Commit b1a77bee authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files
Options

Remove obsolete file.

parent 6fefcac2
Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 188 deletions
src/trywhy3/index.prehtml deleted 100644 → 0
View file @ 6fefcac2
<html xmlns="http://www.w3.org/1999/xhtml"
style="font-family:Verdana,Arial,Sans-Serif">
<head>
<title>
<#en>Try Why3</#en><#fr>Essayez Why3</#fr>
</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<link rel="stylesheet" type="text/css" href="style.css" />
<!-- color customisation -->
<style>
.stdout { color : #bbccff; }
.stderr { color : #ffcccc ; }
.error {
position:absolute;
background:rgba(200,100,100,0.5);
z-index:40;
}
</style>
</head>
<body style="background-color:#ddd">
<!--invisible elements for the open file dialog -->
<input type="file" id="file-selector" />
<div id="background-shadow">
<div id="confirm-dialog" >
<#en>The content of the current buffer will be lost</#en>
<#fr>Le contenu actuel du programme sera perdu</#fr>
<br/>
<div style="width:70%; display:inline-block;">
<button class="btn"
onclick="confirmReplace();">
<#en>Confirm</#en>
<#fr>Confirmer</#fr>
</button>
<button class="btn"
onclick="cancelReplace();">
<#en>Cancel</#en>
<#fr>Annuler</#fr>
</button>
</div>
</div>
</div>
<!-- the main page -->
<div id="header">
<div align="right">
<#fr><a href="index.en.html">English version</a></#fr>
<#en><a href="index.fr.html">Version fran&ccedil;aise</a></#en>
</div>
<h1 style="background-color:#356aa0;color:#fff">
<#en>Try Why3</#en><#fr>Essayez Why3</#fr>
</h1>
<p>
<#en>
Type some program in the text area below, then select
'Prove all' in the Why3 menu to generate proof obligations.
</#en>
<#fr>
Tapez un programme dans la zone de texte ci-dessous, puis
s&eacute;lectionnez 'Prouver' dans le menu Why3 pour engendrer
les obligations de preuve.
</#fr>
</p>
<p><#en>Related links</#en><#fr>Liens utiles</#fr>
<ul>
<li><#en>The</#en><#fr>La</#fr>
<a href="http://why3.lri.fr/">
<#en>Why3 home page</#en>
<#fr>page principale de Why3</#fr>
</a>
<li><#en>The</#en><#fr>Le compilateur</#fr>
<a href="http://ocsigen.org/js_of_ocaml/">
Js_of_ocaml</a>
<#en>compiler used to produce this page</#en>
<#fr>utilis&eacute; pour produire cette page</#fr>
</ul>
</p>
</div>
<div class="menu-bar">
<ul>
<li><a href="#"><#en>File</#en><#fr>Fichier</#fr></a>
<ul>
<li><a href="#" onclick="openFile();">
<#en>Open</#en><#fr>Ouvrir</#fr>
</a></li>
<li><a href="#" onclick="saveFile();">
<#en>Save as</#en><#fr>Enregister sous</#fr>
</a></li>
</ul>
</li>
<li><a href="#"><#en>Edit</#en><#fr>Edition</#fr></a>
<ul>
<li><a href="#" onclick="editor.undo();">
<#en>Undo</#en><#fr>Annuler</#fr>
</a></li>
<li><a href="#" onclick="editor.redo();">
<#en>Redo</#en><#fr>R&eacute;tablir</#fr>
</a></li>
<li><a href="#" onclick="clearBuffer();">
<#en>Clear buffer</#en><#fr>Tout effacer</#fr>
</a></li>
</ul>
</li>
<li><a href="#"><#en>Examples</#en><#fr>Exemples</#fr></a>
<ul>
<li><a href="#"><div id="drinkers">
<#en>Drinker's paradox</#en>
<#fr>Paradoxe des buveurs</#fr>
</div></a></li>
<!--
<li><a href="#"><div id="simplearith">
<#en>Simple Arithmetic</#en>
<#fr>Arithm&eacute;tique simple</#fr>
</div></a></li>
-->
<li><a href="#"><div id="bin_mult">
<#en>Binary Multiplication</#en>
<#fr>Multiplication en binaire</#fr>
</div></a></li>
<li><a href="#"><div id="fact">
<#en>Factorial</#en>
<#fr>Factorielle</#fr>
</div></a></li>
<li><a href="#"><div id="isqrt">
<#en>Integral square root</#en>
<#fr>Racine carr&eacute;e enti&egrave;re</#fr>
</div></a></li>
</ul>
</li>
<li><a href="#">Why3</a>
<ul>
<li><a href="#" id="run">
<#en>Run main()</#en>
<#fr>Ex&eacute;cuter main()</#fr>
</a></li>
<li><a href="#" id="prove">
<#en>Prove</#en>
<#fr>Prouver</#fr>
</a></li>
<li><a href="#" id="stop">
<#en>Stop Alt-ergo</#en>
<#fr>Arrêter Alt-ergo</#fr>
</a></li>
</ul>
</li>
<li><a href="#">
<#en>Preferences</#en>
<#fr>Pr&eacute;f&eacute;rences</#fr>
</a>
<ul>
<li><a href="#"
onclick="document.getElementById('radio-wide').click();"
>
<input id="radio-wide" type="radio" name="view"
value="wide" checked="checked" onchange="widescreenView();"
/>
<#en>Split Vertically</#en>
<#fr>S&eacute;paration verticale</#fr>
</a>
</li>
<li><a href="#"
onclick="document.getElementById('radio-std').click();"
>
<input id="radio-std" type="radio" name="view" value="std"
onchange="standardView();"
/>
<#en>Split Horizontally</#en>
<#fr>S&eacute;paration horizontale</#fr>
</a></li>
</ul>
</li>
<li style="float:right;"><a href="#">
<#en>Help</#en><#fr>Aide</#fr>
</a></li>
</ul>
</div>
<div id="editor-panel">
<div id="editor" title="Editor" tabindex="-1" ></div>
<div title="Console" id="console">
</div>
</div>
<script defer="true" src="ace-builds/src-noconflict/ace.js"
type="text/javascript" charset="utf-8"></script>
<script defer="true" type="text/javascript"
src="editor_helper.js"></script>
<script defer="true" type="text/javascript"
src="trywhy3.js"></script>
</body>
</html>
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