[acl2/acl2] 37cf7f: Improved error messages from exceeding the call de...
2 views
Skip to first unread message
GitHub
Jan 18, 2017, 10:31:46 AM1/18/17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 37cf7f83380f886a569e534b4c2363be4665cfee
https://github.com/acl2/acl2/commit/37cf7f83380f886a569e534b4c2363be4665cfee
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-01-18 (Wed, 18 Jan 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
M rewrite.lisp
Log Message:
-----------
Improved error messages from exceeding the call depth limit, in response to helpful feedback from Eric Smith.
Home: https://github.com/acl2/acl2
Commit: 37cf7f83380f886a569e534b4c2363be4665cfee
https://github.com/acl2/acl2/commit/37cf7f83380f886a569e534b4c2363be4665cfee
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-01-18 (Wed, 18 Jan 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
M rewrite.lisp
Log Message:
-----------
Improved error messages from exceeding the call depth limit, in response to helpful feedback from Eric Smith.
GitHub
Jan 18, 2017, 10:33:01 AM1/18/17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages