| Tue, 21 Jul 2009 01:03:18 +0200 | wenzelm | proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.; | changeset | files |
| Tue, 21 Jul 2009 00:56:19 +0200 | wenzelm | moved ProofContext.pretty_thm to Display.pretty_thm etc.; | changeset | files |
| Mon, 20 Jul 2009 21:20:09 +0200 | wenzelm | moved pretty_goals etc. to Display_Goal (required by tracing tacticals); | changeset | files |
| Mon, 20 Jul 2009 20:03:19 +0200 | wenzelm | removed obsolete CVS Ids; | changeset | files |
| Mon, 20 Jul 2009 19:58:11 +0200 | wenzelm | merged | changeset | files |
| Mon, 20 Jul 2009 17:14:06 +0200 | haftmann | merged | changeset | files |
| Mon, 20 Jul 2009 16:11:00 +0200 | haftmann | deftab: only process theorems on demand | changeset | files |