1
0
Fork 0
Commit Graph

2 Commits (0a50b22496fc619fe075c61fe618ffdb9816aa10)

Author SHA1 Message Date
Mike Gerwitz cdd87569c1 doc/pred.texi: UI predicates are existential
I'm not sure why I put universal here---they affect each index
individually.

* doc/pred.texi (Predicate System): {universal=>existentail}
2018-02-01 15:29:43 -05:00
Mike Gerwitz d2dd963614 doc: Extract design sections into own chapters
* assert.texi, bucket.texi, client.texi, pred.texi, program.texi,
  validation.texi: New files.
* design.texi: Extract text into above.
* liza.texi: Add @menu references and @include each new file.
2017-06-21 10:52:46 -04:00