jeltz
/
heptagon
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Merge branch 'web-update' into 'master' 

Point to gitlab repo

See merge request synchrone/heptagon!3
This commit is contained in:
Gwenaël Delaval 2019-10-31 14:52:59 +01:00
parent 239e23211f f05c20aba9
commit 91dd7af1a0
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
web/index.php
View File

@ -92,7 +92,7 @@ the OCaml Package Manager (OPAM).</p>
</ol> </ol>
</p> </p>
<p>The source code is also available from <a <p>The source code is also available from <a
href="http://heptagon.gforge.inria.fr">the Heptagon/BZR web page</a> for manual href="https://gitlab.inria.fr/synchrone/heptagon">the Heptagon/BZR repository</a> for manual
compilation and installation. Further indications about ReaX can compilation and installation. Further indications about ReaX can
be found on <a href="http://reatk.gforge.inria.fr">the ReaX/ReaTk be found on <a href="http://reatk.gforge.inria.fr">the ReaX/ReaTk
page</a>.<br> page</a>.<br>

1
web/toc.php
View File

@ -8,6 +8,7 @@
<ul> <ul>
<li><a href="http://heptagon.gforge.inria.fr">Main page</a></li> <li><a href="http://heptagon.gforge.inria.fr">Main page</a></li>
<li><a href="https://gitlab.inria.fr/synchrone/heptagon">Source code</a></li>
<li><a href="https://gforge.inria.fr/frs/?group_id=2773">Download</a></li> <li><a href="https://gforge.inria.fr/frs/?group_id=2773">Download</a></li>
<li><a href="pub/heptagon-manual.pdf">Manual</a></li> <li><a href="pub/heptagon-manual.pdf">Manual</a></li>
<li><a href="bib.php">Publications</a></li> <li><a href="bib.php">Publications</a></li>