[acl2/acl2] ca69ec: Fixed a typo in an error message from translation ...
0 views
Skip to first unread message
GitHub
Aug 7, 2017, 6:06:32 PM8/7/17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: ca69ec1aa3da87d1d23fc87d38e7121491118ac9
https://github.com/acl2/acl2/commit/ca69ec1aa3da87d1d23fc87d38e7121491118ac9
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-08-07 (Mon, 07 Aug 2017)
Changed paths:
M books/projects/apply-model/Makefile
M translate.lisp
Log Message:
-----------
Fixed a typo in an error message from translation (source function translate11), found by Alessandro Coglio. Also properly aligned some strings in that function. Tweaked books/projects/apply-model/Makefile after a failure (but not sure it fully solves the problem; see comments there).
Home: https://github.com/acl2/acl2
Commit: ca69ec1aa3da87d1d23fc87d38e7121491118ac9
https://github.com/acl2/acl2/commit/ca69ec1aa3da87d1d23fc87d38e7121491118ac9
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-08-07 (Mon, 07 Aug 2017)
Changed paths:
M books/projects/apply-model/Makefile
M translate.lisp
Log Message:
-----------
Fixed a typo in an error message from translation (source function translate11), found by Alessandro Coglio. Also properly aligned some strings in that function. Tweaked books/projects/apply-model/Makefile after a failure (but not sure it fully solves the problem; see comments there).
GitHub
Aug 7, 2017, 6:07:59 PM8/7/17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages