https://hal.archives-ouvertes.fr/hal-02130729
Tip revision: 5a63bd17a83030740eb27a980fe14a7a37f47efe authored by Software Heritage on 11 June 2019, 08:09:30 UTC
hal: Deposit 296 in collection hal
hal: Deposit 296 in collection hal
Tip revision: 5a63bd1
givaro.html
<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<!-- Copyright (C) 2005 David Saunders, part of Givaro, GNU LGPL, see COPYING
-->
<html><head>
<title> Starter to Givaro documentation</title>
<!-- the following causes my Givaro to load after 5 seconds
-->
<meta http-equiv="Refresh"
content="5; URL=givaro-html/index.html">
</head><body>
<!-- the following shows during the initial 5 seconds-->
Givaro documentation main page: <a href="givaro-html/index.html"> givaro-html/index.html</a>
(going there in 5 seconds).
If it is a dead link, you have to build the documentation first
with <tt>make docs</tt>.
</body> </html>
