2 Commits (4f39c754a2d9b2fc2e2caa611c6c38d80f4e509a)

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