wenzelm [Wed, 13 Jul 2016 19:10:35 +0200] rev 63478
clarified indentation of proof commands, notably for "notepad begin", which lacks a head goal;
wenzelm [Wed, 13 Jul 2016 19:04:49 +0200] rev 63477
clarified indentation: 'begin' is treated like a separate command without indent;
wenzelm [Wed, 13 Jul 2016 19:02:23 +0200] rev 63476
tuned;
wenzelm [Wed, 13 Jul 2016 15:23:33 +0200] rev 63475
obsolete;
wenzelm [Wed, 13 Jul 2016 15:19:16 +0200] rev 63474
semantic indentation for unstructured proof scripts;
wenzelm [Wed, 13 Jul 2016 14:28:15 +0200] rev 63473
misc tuning and modernization;
Lars Hupel <lars.hupel@mytum.de> [Wed, 13 Jul 2016 21:00:03 +0200] rev 63472
tuned
Lars Hupel <lars.hupel@mytum.de> [Wed, 13 Jul 2016 20:59:40 +0200] rev 63471
remove obsolete isatest scripts
paulson <lp15@cam.ac.uk> [Wed, 13 Jul 2016 17:20:21 +0100] rev 63470
Merge
paulson <lp15@cam.ac.uk> [Wed, 13 Jul 2016 17:14:17 +0100] rev 63469
lots of new theorems about differentiable_on, retracts, ANRs, etc.