ACLとACL2って似てる。名前が。

そんなACL2のデモ。
http://www.cs.utexas.edu/users/moore/publications/flying-demo/script.html
Web上で、クライアントサイドスクリプトやCGIやらいろんな形式でスライドを作っているのを見てきた気がする。けれどこれが今までの中でベストかも。試してないけれどw3mやら、lynx、linksでも動くと思う。