| Fri, 30 Aug 2013 13:24:14 +0200 |
wenzelm |
more explicit indication of unique result (see also 45be26b98ca6, 3d654643cf56);
|
changeset |
files
|
| Fri, 30 Aug 2013 12:59:28 +0200 |
wenzelm |
explicit is always immediate;
|
changeset |
files
|
| Fri, 30 Aug 2013 12:46:32 +0200 |
wenzelm |
single-letter abbrev does not make sense -- too many candidates;
|
changeset |
files
|
| Fri, 30 Aug 2013 12:44:39 +0200 |
wenzelm |
allow short words for explicit completion;
|
changeset |
files
|
| Fri, 30 Aug 2013 12:33:16 +0200 |
wenzelm |
fewer conflicts -- adhoc resolution of == vs. ==> via unicode (!) image;
|
changeset |
files
|
| Fri, 30 Aug 2013 12:24:15 +0200 |
wenzelm |
more symbol abbrevs;
|
changeset |
files
|
| Fri, 30 Aug 2013 12:10:34 +0200 |
wenzelm |
misc tuning -- reduce conflicts;
|
changeset |
files
|
| Fri, 30 Aug 2013 12:09:53 +0200 |
wenzelm |
allow multiple entries;
|
changeset |
files
|
| Fri, 30 Aug 2013 11:41:43 +0200 |
wenzelm |
more symbol abbrevs, based on ProofGeneral-4.2/isar/isar-unicode-tokens.el and traditional Isabelle/HOL ASCII replacement syntax;
|
changeset |
files
|
| Fri, 30 Aug 2013 11:04:29 +0200 |
wenzelm |
allow multiple symbol properties, notably groups and abbrevs;
|
changeset |
files
|
| Fri, 30 Aug 2013 11:00:46 +0200 |
wenzelm |
private copy (!) of etc/symbols for WWW_Find, which has its own interpretation of the file format;
|
changeset |
files
|
| Fri, 30 Aug 2013 10:07:20 +0200 |
wenzelm |
check tar error, e.g. from corrupted download;
|
changeset |
files
|
| Fri, 30 Aug 2013 10:01:25 +0200 |
wenzelm |
less surprising immediate completion;
|
changeset |
files
|
| Fri, 30 Aug 2013 13:23:23 +0200 |
blanchet |
updated keywords
|
changeset |
files
|
| Fri, 30 Aug 2013 12:43:39 +0200 |
blanchet |
tuned theory name
|
changeset |
files
|
| Fri, 30 Aug 2013 12:37:03 +0200 |
blanchet |
moved keywords down the hierarchy
|
changeset |
files
|
| Fri, 30 Aug 2013 12:12:41 +0200 |
blanchet |
renamed command to clarify connection with BNF
|
changeset |
files
|
| Fri, 30 Aug 2013 12:09:51 +0200 |
blanchet |
merged two theory files
|
changeset |
files
|
| Fri, 30 Aug 2013 12:06:37 +0200 |
blanchet |
updated news/contributors with BNF stuff
|
changeset |
files
|
| Fri, 30 Aug 2013 12:06:11 +0200 |
blanchet |
added example
|
changeset |
files
|
| Fri, 30 Aug 2013 12:05:22 +0200 |
blanchet |
rationalized files
|
changeset |
files
|
| Fri, 30 Aug 2013 11:37:22 +0200 |
blanchet |
polished newly included files after moving
|
changeset |
files
|
| Fri, 30 Aug 2013 11:27:23 +0200 |
blanchet |
moved files related to "primrec_new", "primcorec", and "datatype_compat" from bitbucket co-rec repository
|
changeset |
files
|
| Fri, 30 Aug 2013 00:11:01 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Thu, 29 Aug 2013 23:22:58 +0200 |
traytel |
merged
|
changeset |
files
|
| Thu, 29 Aug 2013 23:21:48 +0200 |
traytel |
qualify internal and external constants in {l,g}fp properly
|
changeset |
files
|
| Thu, 29 Aug 2013 23:13:17 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 29 Aug 2013 22:53:17 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 29 Aug 2013 22:40:50 +0200 |
wenzelm |
border as for Pretty_Tooltip;
|
changeset |
files
|
| Thu, 29 Aug 2013 22:35:50 +0200 |
wenzelm |
less aggressive immediate completion, based on input and text;
|
changeset |
files
|