ocsigen
diff --git a/‎credits.html
Lines changed: 4 additions & 159 deletions b/‎credits.html
Lines changed: 4 additions & 159 deletions
@@ -1,160 +1,5 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Credits</title><meta charset="utf8"/><meta content="width=device-width, initial-scale=1" name="viewport"/><link rel="stylesheet" href="/css/style.css"/><link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/prism/1.9.0/themes/prism.min.css"/><script src="https://cdnjs.cloudflare.com/ajax/libs/prism/1.9.0/components/prism-core.min.js"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/prism/1.9.0/components/prism-ocaml.min.js"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/prism/1.9.0/components/prism-clike.min.js"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/prism/1.9.0/components/prism-reason.min.js"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/prism/1.9.0/components/prism-javascript.min.js"></script><script src="/js/client.js"></script></head><body class="ocsigen.github.io 1.0 credits"><div class="page-header"><p class="logo-ocsigen"><a href="/" class="ocsimore_phrasing_link"><img src="/img/ocsigen-white.svg" alt="Ocsigen"/></a>
-</p><ul class="mainmenu"><li class="mainmenu-home mainmenu-current"><a href="/" class="ocsimore_phrasing_link">Home</a>
-</li><li class="mainmenu-doc"><a href="/tuto/6.2/manual/intro" class="ocsimore_phrasing_link">Doc</a>
-</li><li><a href="/eliom/6.3/manual/intro" class="ocsimore_phrasing_link">Eliom</a>
-</li><li><a href="/js_of_ocaml/3.1.0/manual/overview" class="ocsimore_phrasing_link">Js_of_ocaml</a>
-</li><li><a href="/lwt/4.1.0/manual/manual" class="ocsimore_phrasing_link">Lwt</a>
-</li><li><a href="/tyxml/4.3.0/manual/intro" class="ocsimore_phrasing_link">Tyxml</a>
-</li><li><a href="/ocsigen-start/1.1.0/manual/intro" class="ocsimore_phrasing_link">Start</a>
-</li></ul><aside class="how-drawer"><input id="how-drawer-toggle" type="checkbox"/><label for="how-drawer-toggle" id="how-drawer-label"><span class="how-drawer-icon"></span></label><nav class="how-drawer-content"><ul class="drawermainmenu"><li class="drawermainmenu-home drawermainmenu-current"><a href="/" class="ocsimore_phrasing_link">Home</a>
-</li><li class="drawermainmenu-doc"><a href="/tuto/6.2/manual/intro" class="ocsimore_phrasing_link">Doc</a>
-</li><li class="drawermainmenu-project"><a href="/eliom/6.3/manual/intro" class="ocsimore_phrasing_link">Eliom</a>
-</li><li class="drawermainmenu-project"><a href="/js_of_ocaml/3.1.0/manual/overview" class="ocsimore_phrasing_link">Js_of_ocaml</a>
-</li><li class="drawermainmenu-project"><a href="/ocsigenserver/2.9/manual/quickstart" class="ocsimore_phrasing_link">Server</a>
-</li><li class="drawermainmenu-project"><a href="/lwt/4.1.0/manual/manual" class="ocsimore_phrasing_link">Lwt</a>
-</li><li class="drawermainmenu-project"><a href="/tyxml/4.3.0/manual/intro" class="ocsimore_phrasing_link">Tyxml</a>
-</li><li class="drawermainmenu-project"><a href="/ocsigen-toolkit/1.1.0/manual/intro" class="ocsimore_phrasing_link">Toolkit</a>
-</li><li class="drawermainmenu-project"><a href="/ocsigen-start/1.1.0/manual/intro" class="ocsimore_phrasing_link">Start</a>
-</li><li class="drawermainmenu-page"><a href="/projects" class="ocsimore_phrasing_link">Other projects</a>
-</li><li class="drawermainmenu-page"><a href="/papers" class="ocsimore_phrasing_link">Research papers</a>
-</li><li class="drawermainmenu-page"><a href="/credits" class="ocsimore_phrasing_link">Who does Ocsigen?</a>
-</li><li class="drawermainmenu-page"><a href="/blog" class="ocsimore_phrasing_link">Blog</a>
-</li><li class="drawermainmenu-page"><a href="https://github.com/ocsigen" class="ocsimore_phrasing_link">Source code</a>
-</li></ul></nav></aside></div><div class="project-page"><div class="rightcol"><header><h1>Credits</h1></header><p>Ocsigen is a collaborative open source project mainly developed by
-<a href="https://www.besport.com" class="ocsimore_phrasing_link">Be Sport</a> and
-<a href="http://www.univ-paris-diderot.fr" class="ocsimore_phrasing_link">Paris Diderot university</a>.
-</p><p>It comes from a research project of the
-<a href="https://www.irif.fr/" class="ocsimore_phrasing_link">Research Institute for Foundations of Computer Science (IRIF)</a>
-(<a href="http://www.univ-paris-diderot.fr" class="ocsimore_phrasing_link">Paris Diderot university</a> and <a href="http://www.cnrs.fr" class="ocsimore_phrasing_link">CNRS</a>).
-</p><p>It is part of the <a href="http://www.irill.org" class="ocsimore_phrasing_link">IRILL</a>,
-a center  for  Research and  Innovation  on  Free  Software, located at Inria Paris.
-</p><p>It received founding from <a href="http://inria.fr" class="ocsimore_phrasing_link">Inria</a> and the
-<a href="http://www.agence-nationale-recherche.fr/" class="ocsimore_phrasing_link">ANR</a>, through three research projects:
-</p><ul class="sponsorprojects"><li> <em>Programmation fonctionnelle pour le Web</em> (2007-2010)
-</li><li> <em><a href="http://www-sop.inria.fr/indes/pwd/" class="ocsimore_phrasing_link">PWD</a></em> (2010-2013) labellised by the <a href="http://www.systematic-paris-region.org" class="ocsimore_phrasing_link">System@tic cluster</a>
-</li><li> <em>Ubiquitous Content Framework</em> (FUI project, <a href="http://www.systematic-paris-region.org" class="ocsimore_phrasing_link">System@tic cluster</a>)
-</li></ul><h2>Contact</h2><p>You can send a (private) e-mail to the <a href="mailto:contact@ocsigen.org" class="ocsimore_phrasing_link">development team</a>. However, please prefer <a href="https://discuss.ocaml.org" class="ocsimore_phrasing_link">OCaml's discuss</a>, with tag Ocsigen, for all your technical questions.
-You can also have a look at the archives of the <a href="http://sympa.mancoosi.univ-paris-diderot.fr/wws/info/ocsigen" class="ocsimore_phrasing_link">public mailing-list</a> (deprecated).
-</p><h2>Authors and contributors</h2><p><strong>Vincent Balat</strong>
-<em>(project leader, Server, Eliom, Ocsigen Start, Ocsigen Toolkit, ...)</em> <br/>
-<strong>Jérôme Vouillon</strong>
-<em>(Lwt, Web server, Js_of_ocaml, Eliom, O'Closure, ...)</em> <br/>
-<strong>Vasilis Papavasileiou</strong>
-<em>(Eliom, Server, Eliom-base-app, Ocsigen Toolkit,...)</em> <br/>
-<strong>Gabriel Radanne</strong>
-<em>(Tyxml, Semantics of client-server Eliom applications, Eliom, etc.)</em><br/>
-<strong>Hugo Heuzard</strong>
-<em>(Js_of_ocaml, Eliom)</em> <br/>
-<strong>Danny Willems</strong>
-<em>(Ocsigen Start)</em> <br/>
-<strong>Benedikt Becker</strong>
-<em>(Ocsimore, Eliom client-server syntax, ...)</em><br/>
-<strong>Boris Yakobowski</strong>
-<em>(Ocsimore, module Extendconfiguration, Ocsigen server...)</em> <br/>
-<strong>Pierre Chambart</strong>
-<em>(Comet, Eliom client, ...)</em><br/>
-<strong>Grégoire Henry</strong>
-<em>(safe unmarshalling of client data, Eliom client, ...)</em><br/>
-<strong>Jérémie Dimino</strong>
-<em>(Lwt)</em> <br/>
-<strong>Benjamin Canou</strong>
-<em>(O'Browser, Eliom client, Goji)</em> <br/>
-<strong>Jacques-Pascal Deplaix</strong>
-<em>(Ocsimore, ...)</em> <br/>
-<strong>Jérôme Maloberti</strong>
-<em>(GODI packaging, OcCDuce)</em><br/>
-<strong>Raphaël Proust</strong>
-<em>(Ocsforge, Eliom client, Comet)</em><br/>
-<strong>Charly Chevalier</strong>
-<em>(OJWidgets, Eliom widgets, Eliom base app)</em><br/>
-<strong>Romain Calascibetta</strong>
-<em>(Server)</em><br/>
-<strong>Enguerrand Decorne</strong>
-<em>(Eliom Widgets)</em><br/>
-<strong>Grégoire Lionnet</strong>
-<em>(Eliom mobile)</em><br/>
-<strong>Christophe Lecointe</strong>
-<em>(OJQuery, Goji)</em><br/>
-<strong>Arnaud Parant</strong>
-<em>(Eliom mobile, Graffiti 2)</em><br/>
-<strong>Stéphane Glondu</strong>
-<em>(Configuration file, Findlib integration, access control, HTTP authentication, Debian package, ...)</em> <br/>
-<strong>Gabriel Kerneis</strong>
-<em>(XHTML syntax extension for OCaml 3.10, Ocsipersist with SQLite, CGI module, forms in Eliom, deflatemod, ...)</em> <br/>
-<strong>Denis Berthod</strong>
-<em>(HTTP protocol, Web server)</em><br/>
-<strong>Jaap Boender</strong>
-<em>(Ocsimore, NetBSD and Godi packages)</em> <br/>
-<strong>Gabriel Scherer</strong>
-<em>(Macaque)</em> <br/>
-<strong>Gabriel Cardoso</strong>
-<em>(O'Closure)</em> <br/>
-<strong>Baptiste Strazzulla</strong>
-<em>(Eliom destillery, Makefile for client server applications, documentation, ...)</em><br/>
-<strong>Jean-Henri Granarolo</strong>
-<em>(Ocsforge)</em><br/>
-<strong>Simon Castellan</strong>
-<em>(HTML5, OpenID, SVG)</em> <br/>
-<strong>Barbara Lepage</strong>
-<em>(Code samples, documentation)</em> <br/>
-<strong>Séverine Maingaud</strong>
-<em>(Eliom widgets, ...)</em> <br/>
-<strong>Piero Furiesi</strong>
-<em>(Ocsimore)</em> <br/>
-<strong>Thorsten Ohl</strong>
-<em>(most of the functions generating XHTML (xML and xHTML modules))</em><br/>
-<strong>Mauricio Fernandez</strong>
-<em>(Xhtmlcompact, static linking of extensions and Eliom modules)</em> <br/>
-<strong>Michael Laporte</strong>
-<em>(Meow chat)</em> <br/>
-<strong>Nataliya Guts</strong>
-<em>(Web server, HTTPS)</em> <br/>
-<strong>Archibald Pontier</strong>
-<em>(Atom, Pubsubhubbub)</em> <br/>
-<strong>Jérôme Velleine</strong>
-<em>(CGI module)</em> <br/>
-<strong>Charles Oran</strong>
-<em>(O'Closure)</em> <br/>
-<strong>Pierre Clairambault</strong>
-<em>(Lwt_lib, Gentoo package, configure script, ...)</em> <br/>
-<strong>Cécile Herbelin</strong>
-<em>HTML5, Benchmarks</em> <br/>
-</p><h2>Other team members</h2><p><strong>Emmanuel Chailloux</strong>
-<em>(mentoring)</em>
-<strong>Raphaëlle Crubillé</strong>
-<em>(dynamic javascript generation)</em><br/>
-<strong>Till Varoquaux</strong>
-<em>(javascript generation)</em> <br/>
-<strong>Fabien Benureau</strong>
-<em>(javascript generation)</em>
-</p><h3>Acknowledgements</h3><p>To all authors and contributors, and to:
-</p><ul><li> Roberto Di Cosmo,
-</li><li> Juliusz Chroboczek <em>(HTTP)</em>,
-</li><li> Alain Frisch <em>(OCamlDuce version, Xhtml typing, natdynlink, etc.)</em>,
-</li><li> Jean-Vincent Loddo,
-</li><li> Dario Teixeira <em>(many comments on documentation, bug reports, suggestions ...)</em>,
-</li><li> Janne Hellsten <em>(Miniwiki example, many comments, suggestions, bugfixes)</em>,
-</li><li> William Le Ferrand,
-</li><li> Samuel Mimram <em>(SSL, Debian package)</em>,
-</li><li> Grégoire Henry <em>(bugfixes in OcamlSSL, etc.)</em>,
-</li><li> Stefano Zacchiroli,
-</li><li> Richard Jones <em>(Fedora packages)</em>,
-</li><li> Veaceslav Grecea <em>(ALTLinux packages)</em>,
-</li><li> Martin Bahier <em>(Proofreading the documentation)</em>,
-</li><li> Arnaud Spiwack <em>(Jocsigen experiment)</em>,
-</li><li> Antoine Popineau <em>(CSS and images for directory listing)</em>,
-</li><li> David Mentré,
-</li><li> Emmanuel Chailloux,
-</li><li> Christophe Fouqueré,
-</li><li> Alexandre Miquel,
-</li><li> Russ Harmer,
-</li><li> Stéphane Dalmas <em>(patch for <span class="teletype">&lt;select&gt;</span>)</em>,
-</li><li> INRIA's Gallium team <em>(for OCaml)</em>,
-</li><li> Gerd Stolpmann <em>(for Ocamlnet)</em>,
-</li><li> All the BeSport team,
-</li><li> and thanks all the users who sent very useful comments, and to Vincent's (other) students who took part in the very first version: Yann Binot, Julien Chapuis, Arnaud Delattre, Alexandre Érisay, Julien Mineraud (Xhtmlpp - xhtml pretty-printing)</li></ul></div></div><div class="main-page-section main-page-section-about"><div class="main-page-section-content"><ul><li> <a href="/credits" class="ocsimore_phrasing_link">Who does Ocsigen?</a>
-</li><li> <a href="/papers" class="ocsimore_phrasing_link">Research papers</a>
-</li><li> <a href="/projects" class="ocsimore_phrasing_link">All the projects</a>
-</li><li> <a href="/blog" class="ocsimore_phrasing_link">Blog</a>
-</li><li> <a href="https://github.com/ocsigen" class="ocsimore_phrasing_link">Source code</a></li></ul></div></div></body></html>
+<html>
+    <head><meta http-equiv="refresh" content="0; URL=home/credits.html" /></head>
+    <body></body>
+</html>