Sun, 23 Jun 2013 21:23:36 +0200 |
wenzelm |
proper diagnostic command 'print_state';
|
file |
diff |
annotate
|
Tue, 18 Jun 2013 15:15:36 +0200 |
wenzelm |
more on built-in syntax transformations, based on reduced version of old material;
|
file |
diff |
annotate
|
Tue, 18 Jun 2013 12:21:57 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Sat, 25 May 2013 15:37:53 +0200 |
wenzelm |
syntax translations always depend on context;
|
file |
diff |
annotate
|
Mon, 13 May 2013 13:23:13 +0200 |
wenzelm |
option "goals_limit", with more uniform description;
|
file |
diff |
annotate
|
Tue, 09 Apr 2013 13:55:28 +0200 |
wenzelm |
more accurate documentation of "(structure)" mixfix;
|
file |
diff |
annotate
|
Tue, 09 Apr 2013 12:56:26 +0200 |
wenzelm |
just one syntax category "mixfix" -- check structure annotation semantically;
|
file |
diff |
annotate
|
Sun, 30 Dec 2012 16:23:30 +0100 |
wenzelm |
uniform notation for == and \<equiv> (cf. 3e3c2af5e8a5);
|
file |
diff |
annotate
|
Sat, 29 Dec 2012 23:15:51 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 04 Oct 2012 13:56:32 +0200 |
wenzelm |
some documentation of show_markup;
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|