[acl2/acl2] 0a5993: Add ABNF as subtopic of PROJECTS.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 0a5993323fcc58f626b8723db44031a99d8bb3b9
https://github.com/acl2/acl2/commit/0a5993323fcc58f626b8723db44031a99d8bb3b9
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-23 (Fri, 23 Jun 2017)

Changed paths:
M books/kestrel/abnf/top.lisp

Log Message:
-----------
Add ABNF as subtopic of PROJECTS.


Commit: cdfbab185bb64462b58b347ab8021538f3b32aa0
https://github.com/acl2/acl2/commit/cdfbab185bb64462b58b347ab8021538f3b32aa0
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-23 (Fri, 23 Jun 2017)

Changed paths:
M books/kestrel/abnf/top.lisp

Log Message:
-----------
Add reference to ABNF technical report.


Commit: 430e254ad4026dd9c564ef2cc89bb58362d8add7
https://github.com/acl2/acl2/commit/430e254ad4026dd9c564ef2cc89bb58362d8add7
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-23 (Fri, 23 Jun 2017)

Changed paths:
M books/kestrel/abnf/top.lisp

Log Message:
-----------
Expand ABNF documentation.

Add a topic explaining the slight differences (motivated by expository
convenience/brevity) between the technical report and the actual library.


Commit: 03fa5961ec30126a005047ce9ce2b5a43c40de45
https://github.com/acl2/acl2/commit/03fa5961ec30126a005047ce9ce2b5a43c40de45
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-23 (Fri, 23 Jun 2017)

Changed paths:
M books/kestrel/abnf/parser.lisp

Log Message:
-----------
Improve ABNF parser.

Fix some theorem names to be more uniform.


Commit: b82f7e6b9acf77de8b781276d807fc5e00cbd07e
https://github.com/acl2/acl2/commit/b82f7e6b9acf77de8b781276d807fc5e00cbd07e
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-23 (Fri, 23 Jun 2017)

Changed paths:
M books/kestrel/abnf/parser.lisp

Log Message:
-----------
Simplify ABNF parser.

Remove some unneeded theorems.


Commit: dade9fa2d62acaf27d1ba7992d7e5758b0da5b7b
https://github.com/acl2/acl2/commit/dade9fa2d62acaf27d1ba7992d7e5758b0da5b7b
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-23 (Fri, 23 Jun 2017)

Changed paths:
M books/kestrel/utilities/copy-def.lisp
M books/tools/er-soft-logic.lisp

Log Message:
-----------
Merge branch 'master'.


Compare: https://github.com/acl2/acl2/compare/cbd9cf1efbdc...dade9fa2d62a

[GitHub]

Branch: refs/heads/master

Commit: 62189c4f2b4f648a6b6a6f66b85b432b8b2233e8
https://github.com/acl2/acl2/commit/62189c4f2b4f648a6b6a6f66b85b432b8b2233e8
Author: David L. Rager <rag...@gmail.com>
Date: 2017-06-24 (Sat, 24 Jun 2017)

Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp

Log Message:
-----------
Merge commit 'ec2595445dc991db91375a01792a5107a7111f4e' into HEAD


Commit: 8a0b13d390e7b05c4433d2890241d8931891cb83
https://github.com/acl2/acl2/commit/8a0b13d390e7b05c4433d2890241d8931891cb83
Author: David L. Rager <rag...@gmail.com>
Date: 2017-06-24 (Sat, 24 Jun 2017)

Changed paths:
M books/kestrel/utilities/user-interface.lisp

Log Message:
-----------
Merge commit '56d9b4b417a14b5a5edb6227cb77a2286cb84094' into HEAD


Commit: f9f2d777bb60172bd9e05e116e095c5b44460b92
https://github.com/acl2/acl2/commit/f9f2d777bb60172bd9e05e116e095c5b44460b92
Author: David L. Rager <rag...@gmail.com>
Date: 2017-06-25 (Sun, 25 Jun 2017)

Changed paths:
M books/kestrel/abnf/parser.lisp

M books/kestrel/abnf/top.lisp

Log Message:
-----------

Merge pull request #746 from acl2/testing

Testing


Compare: https://github.com/acl2/acl2/compare/56d9b4b417a1...f9f2d777bb60