Wed, 13 Jul 2016 20:00:56 +0200 | wenzelm | clarified indentation (amending 37a3fc20154d); | changeset | files |
Wed, 13 Jul 2016 19:57:30 +0200 | wenzelm | tuned; | changeset | files |
Wed, 13 Jul 2016 19:50:44 +0200 | wenzelm | tuned; | changeset | files |
Wed, 13 Jul 2016 19:36:47 +0200 | wenzelm | tuned; | changeset | files |
Wed, 13 Jul 2016 19:10:35 +0200 | wenzelm | clarified indentation of proof commands, notably for "notepad begin", which lacks a head goal; | changeset | files |
Wed, 13 Jul 2016 19:04:49 +0200 | wenzelm | clarified indentation: 'begin' is treated like a separate command without indent; | changeset | files |