| Mon, 26 Nov 2012 20:58:41 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 26 Nov 2012 20:39:19 +0100 | wenzelm | clarified Symbol.scan_ascii_id; | changeset | files |
| Mon, 26 Nov 2012 20:29:40 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 26 Nov 2012 20:09:51 +0100 | wenzelm | convenience operations for table as set; | changeset | files |
| Mon, 26 Nov 2012 19:56:09 +0100 | wenzelm | removed remains of Oheimb's double-space (cf. 0a5af667dc75); | changeset | files |
| Mon, 26 Nov 2012 19:53:43 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 26 Nov 2012 17:13:44 +0100 | wenzelm | merged | changeset | files |
| Mon, 26 Nov 2012 16:01:04 +0100 | blanchet | updated two components | changeset | files |
| Mon, 26 Nov 2012 15:31:03 +0100 | blanchet | simplify code slightly | changeset | files |
| Mon, 26 Nov 2012 15:31:03 +0100 | blanchet | avoid non-ASCII sign | changeset | files |
| Mon, 26 Nov 2012 14:20:51 +0100 | kuncar | generate a parameterized correspondence relation | changeset | files |
| Mon, 26 Nov 2012 14:20:36 +0100 | kuncar | quot_thm_crel | changeset | files |
| Mon, 26 Nov 2012 14:15:48 +0100 | kuncar | add option_fold | changeset | files |
| Mon, 26 Nov 2012 14:11:31 +0100 | hoelzl | add binomial_ge_n_over_k_pow_k | changeset | files |
| Mon, 26 Nov 2012 13:50:25 +0100 | blanchet | removed tool that was never finished | changeset | files |
| Mon, 26 Nov 2012 13:35:05 +0100 | blanchet | added file headers | changeset | files |
| Mon, 26 Nov 2012 12:13:37 +0100 | blanchet | updated MaSh doc | changeset | files |
| Mon, 26 Nov 2012 12:04:32 +0100 | blanchet | moved MaSh's Python code into Isabelle | changeset | files |
| Mon, 26 Nov 2012 11:46:19 +0100 | blanchet | updated NEWS etc. | changeset | files |
| Mon, 26 Nov 2012 11:45:12 +0100 | blanchet | distinguish declated tfrees from other tfrees -- only the later can be optimized away | changeset | files |
| Mon, 26 Nov 2012 16:28:22 +0100 | wenzelm | clarified status of Legacy_XML_Syntax, despite lack of Proofterm_XML; | changeset | files |
| Mon, 26 Nov 2012 16:22:29 +0100 | wenzelm | reset active areas on content update; | changeset | files |
| Mon, 26 Nov 2012 16:16:47 +0100 | wenzelm | more general sendback properties; | changeset | files |
| Mon, 26 Nov 2012 14:43:28 +0100 | wenzelm | tuned command descriptions; | changeset | files |
| Mon, 26 Nov 2012 13:54:43 +0100 | wenzelm | refined outer syntax 'help' command; | changeset | files |
| Mon, 26 Nov 2012 11:59:56 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Nov 2012 11:42:16 +0100 | wenzelm | always reset active areas; | changeset | files |
| Mon, 26 Nov 2012 10:37:05 +0100 | wenzelm | no special treatment of control_reset, in accordance to other control styles; | changeset | files |
| Sun, 25 Nov 2012 21:40:34 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 25 Nov 2012 21:35:29 +0100 | wenzelm | tuned signature; | changeset | files |