| Wed, 30 Mar 2011 22:53:18 +0200 | wenzelm | accomodate autofix discipline of non-body context; | changeset | files |
| Wed, 30 Mar 2011 22:45:10 +0200 | wenzelm | session timing: show pseudo-speedup factor; | changeset | files |
| Wed, 30 Mar 2011 22:06:25 +0200 | wenzelm | visualize skolem and hilite (undeclared frees); | changeset | files |
| Wed, 30 Mar 2011 22:03:50 +0200 | wenzelm | more informative markup_free; | changeset | files |
| Wed, 30 Mar 2011 21:07:48 +0200 | wenzelm | inline lemmas instead of accidental physical addressing -- explicit is better than implicit; | changeset | files |
| Wed, 30 Mar 2011 20:21:40 +0200 | wenzelm | tuned white space and indentation; | changeset | files |
| Wed, 30 Mar 2011 20:19:21 +0200 | wenzelm | actually check list comprehension examples; | changeset | files |
| Wed, 30 Mar 2011 17:54:10 +0200 | hoelzl | products of probability measures are probability measures | changeset | files |