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
|