File: ccl.html

package info (click to toggle)

acl2 8.5dfsg-5

links: PTS
area: main
in suites: bookworm
size: 991,452 kB
sloc: lisp: 15,567,759; javascript: 22,820; cpp: 13,929; ansic: 12,092; perl: 7,150; java: 4,405; xml: 3,884; makefile: 3,507; sh: 3,187; ruby: 2,633; ml: 763; python: 746; yacc: 723; awk: 295; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17

file content (11 lines) | stat: -rw-r--r-- 384 bytes

<HTML>
<HEAD><TITLE>ACL2 Version 8.5 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/latest/index.html?topic=ACL2____CCL-INSTALLATION">ccl-installation</a>
  page in the ACL2 documentation.</p>

</BODY>
</HTML>