[acl2/acl2] 4d71e8: Added try-gl-concls

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 4d71e8868832529ba791fc31ec3d3db14ae8ea71
https://github.com/acl2/acl2/commit/4d71e8868832529ba791fc31ec3d3db14ae8ea71
Author: Shilpi Goel <shi...@centtech.com>
Date: 2017-08-09 (Wed, 09 Aug 2017)

Changed paths:
A books/tools/try-gl-concls.lisp

Log Message:
-----------
Added try-gl-concls


Commit: 5eeda1bafe1c0c0fabc5e05ecb8d58a12962802c
https://github.com/acl2/acl2/commit/5eeda1bafe1c0c0fabc5e05ecb8d58a12962802c
Author: Shilpi Goel <shi...@centtech.com>
Date: 2017-08-10 (Thu, 10 Aug 2017)

Changed paths:
A books/centaur/misc/try-gl-concls.lisp
R books/tools/try-gl-concls.lisp

Log Message:
-----------
Added a little documentation to try-gl-concls


Commit: 2a1c5e2c504e037aa9b25c4339b2eb368c9d5b6d
https://github.com/acl2/acl2/commit/2a1c5e2c504e037aa9b25c4339b2eb368c9d5b6d
Author: Shilpi Goel <shi...@centtech.com>
Date: 2017-08-10 (Thu, 10 Aug 2017)

Changed paths:
M books/centaur/misc/try-gl-concls.lisp

Log Message:
-----------
Minor doc edit to try-gl-concls


Commit: 0fc4837a42d519e93282a7d648a83cdfedfa6564
https://github.com/acl2/acl2/commit/0fc4837a42d519e93282a7d648a83cdfedfa6564
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2017-08-10 (Thu, 10 Aug 2017)

Changed paths:
A books/centaur/misc/try-gl-concls.lisp

Log Message:
-----------
Merge pull request #760 from shigoel/try-gl-concls

Added try-gl-concls


Compare: https://github.com/acl2/acl2/compare/1b3aa78b820c...0fc4837a42d5

[GitHub]

Branch: refs/heads/master