File: download-index.html

package info (click to toggle)
acl2 8.3dfsg-2
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 309,408 kB
  • sloc: lisp: 3,311,842; javascript: 22,569; cpp: 9,029; ansic: 7,872; perl: 6,501; xml: 3,838; java: 3,738; makefile: 3,383; ruby: 2,633; sh: 2,489; ml: 763; python: 741; yacc: 721; awk: 260; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17
file content (37 lines) | stat: -rw-r--r-- 912 bytes parent folder | download | duplicates (4) 
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
 
<!DOCTYPE html>
<html>

<head>
    <title>ACL2+Books XDOC Manual Downloads</title>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>

<body text="#000000" bgcolor="#FFFFFF" style="font-family:'Verdana'">

<!--
Copyright (C) 2018, Regents of the University of Texas
Written by Matt Kaufmann
License: A 3-clause BSD license.  See the LICENSE file distributed with ACL2.

This little file
  books/xdoc/download-index.html
is copied to become the index.html of the books/doc/manual/download/ directory.
-->

<center><h1>ACL2+Books XDOC Manual Downloads</h1></center>

<ul>

<p>Three formats are available for the combined ACL2+Books XDOC
manual, as indicated by the links below.</p>

<li><code><a href="manual.tar.bz2">manual.tar.bz2</code></li>

<li><code><a href="manual.tar.gz">manual.tar.gz</code></li>

<li><code><a href="manual.zip">manual.zip</code></li>

</ul>

</body>
</html>