| 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 |