[acl2/acl2] f90b07: Add new XDOC kestrel-utilities topic.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: f90b07604b9da3704fd97e70a2f97e34d51e7ecc
https://github.com/acl2/acl2/commit/f90b07604b9da3704fd97e70a2f97e34d51e7ecc
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-07-27 (Wed, 27 Jul 2016)

Changed paths:
M books/kestrel/top.lisp
A books/kestrel/utilities/top.lisp

Log Message:
-----------
Add new XDOC kestrel-utilities topic.

This will be the merging of the kestrel-general-utilities and
kestrel-system-utilities topics.


Commit: 06d66289e888a6240cc82e96ac0e041d1a2f8062
https://github.com/acl2/acl2/commit/06d66289e888a6240cc82e96ac0e041d1a2f8062
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-07-27 (Wed, 27 Jul 2016)

Changed paths:
M books/kestrel/general/auto-termination.lisp
M books/kestrel/general/define-sk.lisp
M books/kestrel/general/testing.lisp
M books/kestrel/general/types.lisp
M books/kestrel/general/ubi.lisp
M books/kestrel/system/applicability-conditions.lisp
M books/kestrel/system/defchoose-queries.lisp
M books/kestrel/system/defun-sk-queries.lisp
M books/kestrel/system/directed-untranslate.lisp
M books/kestrel/system/event-forms.lisp
M books/kestrel/system/fresh-names.lisp
M books/kestrel/system/install-not-norm-event.lisp
M books/kestrel/system/minimize-ruler-extenders.lisp
M books/kestrel/system/numbered-names.lisp
M books/kestrel/system/prove-interface.lisp
M books/kestrel/system/terms.lisp
M books/kestrel/system/user-interface.lisp
M books/kestrel/system/world-queries.lisp

Log Message:
-----------
Move topics under kestrel-utilities.

All the XDOC topics that were under kestrel-general-utilities and
kestrel-system-utilities are now under kestrel-utilities.


Commit: 9265370898b1e2e6c3605ede3a2dfb808aea7b51
https://github.com/acl2/acl2/commit/9265370898b1e2e6c3605ede3a2dfb808aea7b51
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-07-27 (Wed, 27 Jul 2016)

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

Log Message:
-----------
Tweak file headers and short XDOC strings.


Commit: 7bd6e9f9ca9df97d74025f87bd683c1020aba3ea
https://github.com/acl2/acl2/commit/7bd6e9f9ca9df97d74025f87bd683c1020aba3ea
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-07-27 (Wed, 27 Jul 2016)

Changed paths:
R books/kestrel/general/top.lisp
R books/kestrel/system/top.lisp
M books/kestrel/top.lisp
M books/kestrel/utilities/top.lisp

Log Message:
-----------
Remove now-obsolete top-level files.


Commit: c2019f2e5c6d13186adc966fc8d5fb722fd8fd2f
https://github.com/acl2/acl2/commit/c2019f2e5c6d13186adc966fc8d5fb722fd8fd2f
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-07-27 (Wed, 27 Jul 2016)

Changed paths:
R books/kestrel/general/auto-termination-tests.lisp
R books/kestrel/general/auto-termination.lisp
R books/kestrel/general/define-sk-tests.lisp
R books/kestrel/general/define-sk.lisp
R books/kestrel/general/testing-tests.lisp
R books/kestrel/general/testing.lisp
R books/kestrel/general/types.lisp
R books/kestrel/general/ubi.lisp
R books/kestrel/system/applicability-conditions-tests.lisp
R books/kestrel/system/applicability-conditions.lisp
R books/kestrel/system/defchoose-queries-tests.lisp
R books/kestrel/system/defchoose-queries.lisp
R books/kestrel/system/defun-sk-queries-tests.lisp
R books/kestrel/system/defun-sk-queries.lisp
R books/kestrel/system/directed-untranslate.lisp
R books/kestrel/system/event-forms-tests.lisp
R books/kestrel/system/event-forms.lisp
R books/kestrel/system/fresh-names-tests.lisp
R books/kestrel/system/fresh-names.lisp
R books/kestrel/system/install-not-norm-event-tests.lisp
R books/kestrel/system/install-not-norm-event.lisp
R books/kestrel/system/minimize-ruler-extenders.lisp
R books/kestrel/system/numbered-names-tests.lisp
R books/kestrel/system/numbered-names.lisp
R books/kestrel/system/prove-interface-tests.lisp
R books/kestrel/system/prove-interface.lisp
R books/kestrel/system/terms-tests.lisp
R books/kestrel/system/terms.lisp
R books/kestrel/system/user-interface-tests.lisp
R books/kestrel/system/user-interface.lisp
R books/kestrel/system/verify-guards-program-tests.lisp
R books/kestrel/system/verify-guards-program.lisp
R books/kestrel/system/world-queries-tests.lisp
R books/kestrel/system/world-queries.lisp
A books/kestrel/utilities/applicability-conditions-tests.lisp
A books/kestrel/utilities/applicability-conditions.lisp
A books/kestrel/utilities/auto-termination-tests.lisp
A books/kestrel/utilities/auto-termination.lisp
A books/kestrel/utilities/defchoose-queries-tests.lisp
A books/kestrel/utilities/defchoose-queries.lisp
A books/kestrel/utilities/define-sk-tests.lisp
A books/kestrel/utilities/define-sk.lisp
A books/kestrel/utilities/defun-sk-queries-tests.lisp
A books/kestrel/utilities/defun-sk-queries.lisp
A books/kestrel/utilities/directed-untranslate.lisp
A books/kestrel/utilities/event-forms-tests.lisp
A books/kestrel/utilities/event-forms.lisp
A books/kestrel/utilities/fresh-names-tests.lisp
A books/kestrel/utilities/fresh-names.lisp
A books/kestrel/utilities/install-not-norm-event-tests.lisp
A books/kestrel/utilities/install-not-norm-event.lisp
A books/kestrel/utilities/minimize-ruler-extenders.lisp
A books/kestrel/utilities/numbered-names-tests.lisp
A books/kestrel/utilities/numbered-names.lisp
A books/kestrel/utilities/prove-interface-tests.lisp
A books/kestrel/utilities/prove-interface.lisp
A books/kestrel/utilities/terms-tests.lisp
A books/kestrel/utilities/terms.lisp
A books/kestrel/utilities/testing-tests.lisp
A books/kestrel/utilities/testing.lisp
A books/kestrel/utilities/types.lisp
A books/kestrel/utilities/ubi.lisp
A books/kestrel/utilities/user-interface-tests.lisp
A books/kestrel/utilities/user-interface.lisp
A books/kestrel/utilities/verify-guards-program-tests.lisp
A books/kestrel/utilities/verify-guards-program.lisp
A books/kestrel/utilities/world-queries-tests.lisp
A books/kestrel/utilities/world-queries.lisp

Log Message:
-----------
Move files under new directory.


Commit: b1b60b585829d48970f5942fe8883e0fdf67a6d0
https://github.com/acl2/acl2/commit/b1b60b585829d48970f5942fe8883e0fdf67a6d0
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-07-27 (Wed, 27 Jul 2016)

Changed paths:
R books/kestrel/general/auto-termination-tests.acl2
M books/kestrel/soft/implementation.lisp
R books/kestrel/system/directed-untranslate.acl2
R books/kestrel/system/verify-guards-program-tests.acl2
M books/kestrel/utilities/applicability-conditions-tests.lisp
M books/kestrel/utilities/applicability-conditions.lisp
A books/kestrel/utilities/auto-termination-tests.acl2
M books/kestrel/utilities/auto-termination.lisp
M books/kestrel/utilities/defchoose-queries-tests.lisp
M books/kestrel/utilities/defchoose-queries.lisp
M books/kestrel/utilities/defun-sk-queries-tests.lisp
M books/kestrel/utilities/defun-sk-queries.lisp
A books/kestrel/utilities/directed-untranslate.acl2
M books/kestrel/utilities/fresh-names-tests.lisp
M books/kestrel/utilities/install-not-norm-event-tests.lisp
M books/kestrel/utilities/install-not-norm-event.lisp
M books/kestrel/utilities/minimize-ruler-extenders.lisp
M books/kestrel/utilities/numbered-names-tests.lisp
M books/kestrel/utilities/prove-interface.lisp
M books/kestrel/utilities/terms-tests.lisp
M books/kestrel/utilities/terms.lisp
M books/kestrel/utilities/top.lisp
M books/kestrel/utilities/ubi.lisp
M books/kestrel/utilities/user-interface.lisp
A books/kestrel/utilities/verify-guards-program-tests.acl2
M books/kestrel/utilities/verify-guards-program-tests.lisp
M books/kestrel/utilities/world-queries-tests.lisp

Log Message:
-----------
Move files to new directory.


Compare: https://github.com/acl2/acl2/compare/af5bf03a102b...b1b60b585829

[GitHub]

Branch: refs/heads/master