File: ccl.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 (11 lines) | stat: -rw-r--r-- 392 bytes

<HTML>
<HEAD><TITLE>ACL2 Version 8.3 Installation Guide: Installing CCL</TITLE></HEAD>

<BODY TEXT="#000000" BGCOLOR="#FFFFFF" STYLE="font-family:'Verdana'">

<p>This page has been replaced by
  the <a href="http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html?topic=ACL2____CCL-INSTALLATION">ccl-installation</a>
  page in the ACL2 documentation.</p>

</BODY>
</HTML>