| Fri, 15 Jul 2016 23:47:07 +0200 | wenzelm | more operations; | changeset | files |
| Fri, 15 Jul 2016 23:46:28 +0200 | wenzelm | singleton result for 'proof' command (without backtracking), e.g. relevant for well-defined output; | changeset | files |
| Fri, 15 Jul 2016 22:23:36 +0200 | wenzelm | unused; | changeset | files |
| Fri, 15 Jul 2016 22:17:09 +0200 | wenzelm | more structured edit, including indentation; | changeset | files |
| Fri, 15 Jul 2016 22:11:54 +0200 | wenzelm | clarified markup; | changeset | files |
| Fri, 15 Jul 2016 15:19:12 +0200 | wenzelm | merged | changeset | files |