| Mon, 03 May 2010 14:25:56 +0200 | wenzelm | renamed ProofContext.init to ProofContext.init_global to emphasize that this is not the real thing; | file | diff | annotate |
| Mon, 26 Apr 2010 20:30:50 +0200 | wenzelm | eliminanated some unreferenced identifiers; | file | diff | annotate |
| Sun, 11 Apr 2010 14:30:34 +0200 | wenzelm | Thm.add_axiom/add_def: return internal name of foundational axiom; | file | diff | annotate |
| Sun, 21 Mar 2010 08:46:50 +0100 | haftmann | tuned whitespace | file | diff | annotate |
| Mon, 15 Feb 2010 14:04:06 +0100 | haftmann | clarifed type | file | diff | annotate |
| Fri, 13 Nov 2009 21:11:15 +0100 | wenzelm | modernized structure Local_Theory; | file | diff | annotate |
| Sun, 08 Nov 2009 16:30:41 +0100 | wenzelm | adapted Generic_Data, Proof_Data; | file | diff | annotate |
| Sat, 15 Aug 2009 15:29:54 +0200 | haftmann | additional checkpoints avoid problems in error situations | file | diff | annotate |
| Thu, 30 Jul 2009 15:21:18 +0200 | haftmann | improved handling of parameters | file | diff | annotate |
| Fri, 17 Jul 2009 23:11:40 +0200 | wenzelm | tuned/modernized Envir.subst_XXX; | file | diff | annotate |
| Wed, 17 Jun 2009 17:42:46 +0200 | haftmann | uncheck is liberal wrt. semityped terms | file | diff | annotate |
| Fri, 13 Mar 2009 19:17:58 +0100 | haftmann | coherent binding policy with primitive target operations | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Wed, 21 Jan 2009 16:47:04 +0100 | haftmann | binding replaces bstring | file | diff | annotate |
| Thu, 19 Jun 2008 22:05:04 +0200 | wenzelm | ProofContext.abbrev_mode; | file | diff | annotate |
| Sun, 18 May 2008 15:04:09 +0200 | wenzelm | moved global pretty/string_of functions from Sign to Syntax; | file | diff | annotate |
| Tue, 22 Apr 2008 08:33:12 +0200 | haftmann | proper abbreviations in class | file | diff | annotate |
| Thu, 10 Apr 2008 00:46:40 +0200 | haftmann | improvements are strict | file | diff | annotate |
| Wed, 02 Apr 2008 15:58:43 +0200 | haftmann | tuned | file | diff | annotate |
| Wed, 12 Mar 2008 08:47:35 +0100 | haftmann | better improvement in instantiation target | file | diff | annotate |
| Mon, 10 Mar 2008 21:51:47 +0100 | haftmann | tuned | file | diff | annotate |
| Fri, 07 Mar 2008 13:53:07 +0100 | haftmann | generic improvable syntax for targets | file | diff | annotate |
| Tue, 08 Jan 2008 11:37:27 +0100 | haftmann | refined overloading target | file | diff | annotate |
| Tue, 11 Dec 2007 10:23:13 +0100 | haftmann | continued | file | diff | annotate |
| Wed, 05 Dec 2007 14:15:51 +0100 | haftmann | improved | file | diff | annotate |
| Mon, 03 Dec 2007 16:04:17 +0100 | haftmann | overloading target | file | diff | annotate |