Thu, 20 Feb 2014 13:23:49 +0100 |
wenzelm |
default completion context via outer syntax;
|
changeset |
files
|
Thu, 20 Feb 2014 12:53:12 +0100 |
wenzelm |
completion of keywords and symbols based on language context;
|
changeset |
files
|
Wed, 19 Feb 2014 21:38:44 +0100 |
wenzelm |
prefer guarded Context_Position.report where feasible;
|
changeset |
files
|
Wed, 19 Feb 2014 20:56:29 +0100 |
wenzelm |
more markup;
|
changeset |
files
|
Wed, 19 Feb 2014 20:53:09 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
Wed, 19 Feb 2014 20:07:31 +0100 |
wenzelm |
removed dead code;
|
changeset |
files
|
Thu, 20 Feb 2014 16:56:33 +0100 |
kuncar |
refactoring; generate rep_eq always, not only when it would be accepted by the code generator
|
changeset |
files
|
Thu, 20 Feb 2014 16:56:32 +0100 |
kuncar |
refactoring
|
changeset |
files
|
Thu, 20 Feb 2014 16:56:32 +0100 |
kuncar |
the rule is not needed due to 1726f46d2aa8
|
changeset |
files
|
Thu, 20 Feb 2014 16:47:22 +0100 |
traytel |
merged
|
changeset |
files
|
Thu, 20 Feb 2014 15:51:26 +0100 |
traytel |
tuned tactic
|
changeset |
files
|
Thu, 20 Feb 2014 10:32:09 +0100 |
haftmann |
tuned
|
changeset |
files
|
Thu, 20 Feb 2014 15:14:37 +0100 |
noschinl |
less flex-flex pairs
|
changeset |
files
|
Thu, 20 Feb 2014 13:53:26 +0100 |
traytel |
less flex-flex pairs (thanks to Lars' statistics)
|
changeset |
files
|