| Mon, 10 Mar 2008 21:51:42 +0100 |
haftmann |
adjusted to current implementation
|
file |
diff |
annotate
|
| Wed, 09 Jan 2008 20:25:18 +0100 |
haftmann |
overloading target
|
file |
diff |
annotate
|
| Wed, 09 Jan 2008 08:57:12 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Wed, 09 Jan 2008 08:04:40 +0100 |
haftmann |
a note on syntax in class context
|
file |
diff |
annotate
|
| Wed, 05 Dec 2007 14:32:17 +0100 |
haftmann |
tuned class parts
|
file |
diff |
annotate
|
| Fri, 19 Oct 2007 12:21:32 +0200 |
ballarin |
Interpretation equations may have name and/or attribute.
|
file |
diff |
annotate
|
| Fri, 12 Oct 2007 08:20:43 +0200 |
haftmann |
added subclass command
|
file |
diff |
annotate
|
| Thu, 11 Oct 2007 00:33:43 +0200 |
wenzelm |
'notation': allow structmixfix;
|
file |
diff |
annotate
|
| Wed, 10 Oct 2007 16:29:11 +0200 |
wenzelm |
added no_notation;
|
file |
diff |
annotate
|
| Fri, 05 Oct 2007 22:00:11 +0200 |
wenzelm |
tuned induct etc.;
|
file |
diff |
annotate
|
| Sun, 26 Aug 2007 01:19:20 +0200 |
kleing |
described 'rotated' attribute
|
file |
diff |
annotate
|
| Wed, 01 Aug 2007 16:55:37 +0200 |
wenzelm |
tuned config options: eliminated separate attribute "option";
|
file |
diff |
annotate
|
| Tue, 31 Jul 2007 13:30:35 +0200 |
wenzelm |
added configuration options;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2007 21:09:14 +0200 |
wenzelm |
commands 'declare', 'declaration';
|
file |
diff |
annotate
|
| Sat, 28 Jul 2007 20:40:17 +0200 |
wenzelm |
added command 'simproc_setup', attribute "simproc";
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 13:50:31 +0200 |
ballarin |
interpretation: unfolding of equations;
|
file |
diff |
annotate
|
| Sun, 08 Jul 2007 19:51:55 +0200 |
wenzelm |
attribute tagged: single argument;
|
file |
diff |
annotate
|
| Sat, 10 Feb 2007 09:26:12 +0100 |
haftmann |
adjusted to changes in class package
|
file |
diff |
annotate
|
| Sat, 09 Dec 2006 18:05:34 +0100 |
wenzelm |
added print_abbrevs;
|
file |
diff |
annotate
|
| Thu, 30 Nov 2006 14:17:22 +0100 |
wenzelm |
simplified syntax for 'definition', 'abbreviation';
|
file |
diff |
annotate
|
| Fri, 17 Nov 2006 02:19:55 +0100 |
wenzelm |
'notation': more robust 'and' list;
|
file |
diff |
annotate
|
| Sat, 11 Nov 2006 16:11:40 +0100 |
wenzelm |
updated local theory targets;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2006 11:47:56 +0100 |
wenzelm |
'const_syntax' command: allow fixed variables, renamed to 'notation';
|
file |
diff |
annotate
|
| Fri, 20 Oct 2006 17:07:24 +0200 |
haftmann |
small refinements
|
file |
diff |
annotate
|
| Mon, 11 Sep 2006 21:35:19 +0200 |
wenzelm |
induct method: renamed 'fixing' to 'arbitrary';
|
file |
diff |
annotate
|
| Fri, 08 Sep 2006 13:33:11 +0200 |
haftmann |
changed order of type classes and axclasses
|
file |
diff |
annotate
|
| Mon, 04 Sep 2006 15:27:00 +0200 |
ballarin |
Documented methods intro_locales and unfold_locales.
|
file |
diff |
annotate
|
| Mon, 04 Sep 2006 13:55:32 +0200 |
haftmann |
some corrections in class section
|
file |
diff |
annotate
|