File: index-dev.html

package info (click to toggle)
linbox 1.7.1-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 13,940 kB
  • sloc: cpp: 108,392; lisp: 5,469; makefile: 1,345; sh: 1,244; csh: 131; python: 74; perl: 2
file content (46 lines) | stat: -rw-r--r-- 1,656 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<!--  Copyright (C) 2010 LinBox, Brice Boyer, GNU LGPL, see COPYING for licence information.
-->
<!--
/*
 * Coypright (c) LinBox
 * ========LICENCE========
 * This file is part of the library LinBox.
 *
 * LinBox is free software: you can redistribute it and/or modify
 * it under the terms of the  GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
 * ========LICENCE========
 *
 */
 -->
<html>
	<head>
		<title> LinBox documentation for Developers</title>
		<link href="doxygen.css" rel="stylesheet" type="text/css">
		<meta http-equiv="Refresh" content="5; URL=../linbox-dev-html/index.html">
	</head>
	<body>
		<h4> Dead link </h4>
		<p>
		If you reached and see this page, then you need to compile the documentation first
		with <pre>
			<tt>&gt; make docs_dev</tt>.
		</pre>
		</p>

		<p>
		You may also want to return to <a href=../linbox-html/index.html style="color:blue ; font-weight:bold">users documentation</a> or wait till the docs are built (auto refreshing page).
		</p>
	</body>
</html>