| Fri, 14 Nov 2014 17:07:06 +0100 | wenzelm | use \isastyletext directly via 'text' command; | changeset | files |
| Fri, 14 Nov 2014 11:19:14 +0100 | wenzelm | proper sequential version (cf. 302104d8366b); | changeset | files |
| Fri, 14 Nov 2014 18:39:42 +0100 | haftmann | documentation stubs about permanent_interpretation | changeset | files |
| Fri, 14 Nov 2014 13:18:33 +0100 | hoelzl | cleaning up some theorem names; remove unnecessary assumptions; more complete pmf theory | changeset | files |
| Fri, 14 Nov 2014 08:18:58 +0100 | hoelzl | merged | changeset | files |
| Thu, 13 Nov 2014 17:19:52 +0100 | hoelzl | import general theorems from AFP/Markov_Models | changeset | files |
| Thu, 13 Nov 2014 23:45:15 +0100 | wenzelm | uniform treatment of all document markup commands: 'text' and 'txt' merely differ in LaTeX style; | changeset | files |
| Thu, 13 Nov 2014 17:28:11 +0100 | blanchet | tuning | changeset | files |