Peter Dimov eac07cd1e5 Change revision history grammar

2019-03-05 02:49:08 +02:00

..

article

Fix typo

2018-01-23 11:57:55 +09:00

mp11

Change revision history grammar

2019-03-05 02:49:08 +02:00

.gitignore

Add doc/.gitignore

2018-09-07 23:43:59 +03:00

Jamfile

Enable standalone doc build

2017-08-04 00:57:39 +03:00

mp11-docinfo-footer.html

Remove <script> from footer; regenerate html

2017-06-17 18:53:10 +03:00

mp11.adoc

Document mp_eval_if_not, mp_eval_or, mp_valid_q

2019-02-15 03:09:07 +02:00