| Sat, 08 Mar 2014 21:08:10 +0100 |
wenzelm |
modernized Attrib.check_name/check_src similar to methods (see also a989bdaf8121);
|
changeset |
files
|
| Sat, 08 Mar 2014 13:49:01 +0100 |
wenzelm |
allow suffix of underscores for words (notably keywords), similar to semantic completion;
|
changeset |
files
|
| Sat, 08 Mar 2014 13:25:56 +0100 |
wenzelm |
back to polyml-svn, with more threads to avoid problems with HOL-Proofs (see f376f18fd0b7);
|
changeset |
files
|
| Sat, 08 Mar 2014 12:44:15 +0100 |
wenzelm |
no completion for complete keywords, to avoid confusion of 'assume' ~> 'assumes' etc.;
|
changeset |
files
|
| Sat, 08 Mar 2014 12:31:23 +0100 |
wenzelm |
clarified description;
|
changeset |
files
|
| Sat, 08 Mar 2014 11:50:12 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 07 Mar 2014 23:28:05 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Fri, 07 Mar 2014 22:30:58 +0100 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| Fri, 07 Mar 2014 22:19:52 +0100 |
wenzelm |
ignore special names that are treated differently for various sub-languages (main wild-card is identifier "__");
|
changeset |
files
|
| Fri, 07 Mar 2014 20:50:02 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 07 Mar 2014 20:46:27 +0100 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Fri, 07 Mar 2014 20:32:48 +0100 |
wenzelm |
more strict discrimination: symbols vs. keywords could overlap;
|
changeset |
files
|
| Fri, 07 Mar 2014 20:24:14 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 07 Mar 2014 20:12:38 +0100 |
wenzelm |
more accurate description;
|
changeset |
files
|
| Fri, 07 Mar 2014 19:56:31 +0100 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|