Projects / ACL2 / Comments

Comments for ACL2

05 Jun 2007 12:13 aiken11

Re: Why such an IMHO offensive name?


> do you guys want to popularize on

> Franz's success? Or is it a bad pun on

> ACL?

>

>

I doubt there was any intended connection. Franz's renamed their product from "ExCL" to "Allegro CL" in 1988 (according to their company history page), and the ACL2 project began in 1989 (according to their acknowledgements page).

07 Dec 2006 11:42 asigov

Why such an IMHO offensive name?
do you guys want to popularize on Franz's success? Or is it a bad pun on ACL?

Screenshot

Project Spotlight

ReciJournal

An open, cross-platform journaling program.

Screenshot

Project Spotlight

Veusz

A scientific plotting package.