| Thu, 17 Apr 2014 13:21:36 +0200 |
wenzelm |
added protocol command "use_theories", with core functionality of batch build;
|
file |
diff |
annotate
|
| Sat, 12 Apr 2014 17:46:54 +0200 |
wenzelm |
markup for prose words within formal comments;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 16:11:00 +0100 |
wenzelm |
separate tokenization and language context for SML: no symbols, no antiquotes;
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 12:25:17 +0100 |
wenzelm |
more markup for improper elements;
|
file |
diff |
annotate
|
| Wed, 05 Mar 2014 16:13:24 +0100 |
wenzelm |
more explicit quasi_keyword markup, for Args.$$$ material, which is somewhere in between of outer and inner syntax;
|
file |
diff |
annotate
|
| Wed, 05 Mar 2014 13:11:08 +0100 |
wenzelm |
clarified init_assignable: make double-sure that initial values are reset;
|
file |
diff |
annotate
|
| Sun, 02 Mar 2014 19:00:45 +0100 |
wenzelm |
clarified names of antiquotations and markup;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 22:46:31 +0100 |
wenzelm |
clarified language markup: added "delimited" property;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2014 11:58:35 +0100 |
wenzelm |
markup for method combinators;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2014 17:03:55 +0100 |
wenzelm |
clarified token markup: keyword1/keyword2 is for syntax, and "command" the entity kind;
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 21:11:59 +0100 |
wenzelm |
clarified semantic completion: retain kind.full_name as official item name for history;
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 14:39:51 +0100 |
wenzelm |
clarified completion names;
|
file |
diff |
annotate
|
| Sat, 22 Feb 2014 20:52:43 +0100 |
wenzelm |
support for completion within the formal context;
|
file |
diff |
annotate
|
| Sat, 22 Feb 2014 15:07:33 +0100 |
wenzelm |
refined language context: antiquotes;
|
file |
diff |
annotate
|