Commit ec6924de authored by François Bobot's avatar François Bobot

Add private page

parent afda7bab
......@@ -49,6 +49,12 @@ let software = {
filename = "software";
}
let private_ = {
long_title = "Private";
menu_title = "Private";
filename = "private_";
}
let menu = [
main;
partners;
......@@ -57,4 +63,5 @@ let menu = [
meetings;
publications;
software;
private_;
]
open Tyxml.Html
open Generate
open Menu
let () = Generate.page private_ [
md "toto"
]
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Delivrables for the ANR</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Delivrables for the ANR</div><div id="Content"><div class="readable_div"><p>No delivrables have been currently produced</p></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Delivrables for the ANR</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Delivrables for the ANR</div><div id="Content"><div class="readable_div"><p>No delivrables have been currently produced</p></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/><a href="private_.html" title="Private">Private</a><br/></div></body></html>
\ No newline at end of file
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Home</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Home</div><div id="Content"><div class="readable_div"><img src="images/general.svg" alt="General context" style="margin: 20px; float: right;"/><div class="doc doc_invalid"><ul class="doc_errors"><li class="doc_error"><h1 class="doc_error_head">Error in line 6:</h1><ul class="doc_error_lines"><li class="doc_error_around"><span class="doc_error_linenum">005</span><span class="doc_error_linestr"></span></li><li class="doc_error_actual"><span class="doc_error_linenum">006</span><span class="doc_error_linestr">During this project, a new framework for the</span></li><li class="doc_error_around"><span class="doc_error_linenum">007</span><span class="doc_error_linestr">cooperation of solvers we will be designed. It will focused on model</span></li></ul><div class="doc doc_error_msg"><p class="doc_par">Error in anonymous command. Syntax error.</p></div></li></ul></div></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Home</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Home</div><div id="Content"><div class="readable_div"><img src="images/general.svg" alt="General context" style="margin: 20px; float: right;"/><div class="doc doc_invalid"><ul class="doc_errors"><li class="doc_error"><h1 class="doc_error_head">Error in line 6:</h1><ul class="doc_error_lines"><li class="doc_error_around"><span class="doc_error_linenum">005</span><span class="doc_error_linestr"></span></li><li class="doc_error_actual"><span class="doc_error_linenum">006</span><span class="doc_error_linestr">During this project, a new framework for the</span></li><li class="doc_error_around"><span class="doc_error_linenum">007</span><span class="doc_error_linestr">cooperation of solvers we will be designed. It will focused on model</span></li></ul><div class="doc doc_error_msg"><p class="doc_par">Error in anonymous command. Syntax error.</p></div></li></ul></div></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/><a href="private_.html" title="Private">Private</a><br/></div></body></html>
\ No newline at end of file
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Job opportunities</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Job opportunities</div><div id="Content"><div class="readable_div"><ul><li><a href="http://mathieuacher.com/phdSOPRANO.html">PhD: Combining Decision Procedures for Constraint Programming and SMT</a></li><li>PostDoc</li></ul></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Job opportunities</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Job opportunities</div><div id="Content"><div class="readable_div"><ul><li><a href="http://mathieuacher.com/phdSOPRANO.html">PhD: Combining Decision Procedures for Constraint Programming and SMT</a></li><li>PostDoc</li></ul></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/><a href="private_.html" title="Private">Private</a><br/></div></body></html>
\ No newline at end of file
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Meetings</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Meetings</div><div id="Content"><div class="readable_div"><ul><li>Kick-Off</li></ul></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Meetings</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Meetings</div><div id="Content"><div class="readable_div"><ul><li>Kick-Off</li></ul></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/><a href="private_.html" title="Private">Private</a><br/></div></body></html>
\ No newline at end of file
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Members of the project</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Members of the project</div><div id="Content"><div class="readable_div"><img src="images/logo/cea_list.png" alt="CEA List" style="margin: 5px; margin-right: 20px; background:#ED1C24"/><img src="images/logo/upsud.svg" alt="Paris-Sud University" style="margin: 5px; margin-right: 20px; background:white"/><img src="images/logo/INRIA.png" alt="INRIA" style="margin: 5px; margin-right: 20px; background:white"/><img src="images/logo/ocamlpro.png" alt="OcamlPro" style="margin: 5px; margin-right: 20px; background:#1B325F"/><img src="images/logo/adacore.png" alt="Adacore" style="margin: 5px; margin-right: 20px; background:black"/></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Members of the project</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Members of the project</div><div id="Content"><div class="readable_div"><img src="images/logo/cea_list.png" alt="CEA List" style="margin: 5px; margin-right: 20px; background:#ED1C24"/><img src="images/logo/upsud.svg" alt="Paris-Sud University" style="margin: 5px; margin-right: 20px; background:white"/><img src="images/logo/INRIA.png" alt="INRIA" style="margin: 5px; margin-right: 20px; background:white"/><img src="images/logo/ocamlpro.png" alt="OcamlPro" style="margin: 5px; margin-right: 20px; background:#1B325F"/><img src="images/logo/adacore.png" alt="Adacore" style="margin: 5px; margin-right: 20px; background:black"/></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/><a href="private_.html" title="Private">Private</a><br/></div></body></html>
\ No newline at end of file
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Private</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Private</div><div id="Content"><div class="readable_div"><div class="doc doc_valid"><p class="doc_par">toto</p></div></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/><a href="private_.html" title="Private">Private</a><br/></div></body></html>
\ No newline at end of file
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Publications</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Publications</div><div id="Content"><div class="readable_div"><ul><li>CP meets SMT, François Bobot, Sébastien Bardin, and Bruno Marre. Workshop CP meets Verification 2014 (CPCAV 2014)</li></ul></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Publications</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Publications</div><div id="Content"><div class="readable_div"><ul><li>CP meets SMT, François Bobot, Sébastien Bardin, and Bruno Marre. Workshop CP meets Verification 2014 (CPCAV 2014)</li></ul></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/><a href="private_.html" title="Private">Private</a><br/></div></body></html>
\ No newline at end of file
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Software</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Software</div><div id="Content"><div class="readable_div"></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/></div></body></html>
\ No newline at end of file
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Software</title><meta charset="utf-8"/><link rel="stylesheet" href="css/main.css"/><link rel="stylesheet" href="css/lambdoc.css"/></head><body><div id="Header"><a href="index.html" title="Home" style="font-size: 200%; margin-right:10px;">SOPRANO</a>Software</div><div id="Content"><div class="readable_div"></div></div><div id="Menu"><a href="index.html" title="Home">Home</a><br/><a href="partners.html" title="Members of the project">Partners</a><br/><a href="jobs.html" title="Job opportunities">Jobs</a><br/><a href="delivrables.html" title="Delivrables for the ANR">Delivrables</a><br/><a href="meetings.html" title="Meetings">Meetings</a><br/><a href="publications.html" title="Publications">Publications</a><br/><a href="software.html" title="Software">Software</a><br/><a href="private_.html" title="Private">Private</a><br/></div></body></html>
\ No newline at end of file
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