2013-08-30 wenzelm 2013-08-30 misc tuning -- reduce conflicts;
2013-08-30 wenzelm 2013-08-30 allow multiple entries;
2013-08-30 wenzelm 2013-08-30 more symbol abbrevs, based on ProofGeneral-4.2/isar/isar-unicode-tokens.el and traditional Isabelle/HOL ASCII replacement syntax;
2013-08-30 wenzelm 2013-08-30 allow multiple symbol properties, notably groups and abbrevs;
2013-08-30 wenzelm 2013-08-30 private copy (!) of etc/symbols for WWW_Find, which has its own interpretation of the file format;
2013-08-30 wenzelm 2013-08-30 check tar error, e.g. from corrupted download;
2013-08-30 wenzelm 2013-08-30 less surprising immediate completion;
2013-08-30 blanchet 2013-08-30 updated keywords
2013-08-30 blanchet 2013-08-30 tuned theory name
2013-08-30 blanchet 2013-08-30 moved keywords down the hierarchy
2013-08-30 blanchet 2013-08-30 renamed command to clarify connection with BNF
2013-08-30 blanchet 2013-08-30 merged two theory files
2013-08-30 blanchet 2013-08-30 updated news/contributors with BNF stuff
2013-08-30 blanchet 2013-08-30 added example
2013-08-30 blanchet 2013-08-30 rationalized files
2013-08-30 blanchet 2013-08-30 polished newly included files after moving
2013-08-30 blanchet 2013-08-30 moved files related to "primrec_new", "primcorec", and "datatype_compat" from bitbucket co-rec repository
2013-08-30 wenzelm 2013-08-30 tuned proofs;
2013-08-29 traytel 2013-08-29 merged
2013-08-29 traytel 2013-08-29 qualify internal and external constants in {l,g}fp properly
2013-08-29 wenzelm 2013-08-29 merged
2013-08-29 wenzelm 2013-08-29 merged
2013-08-29 wenzelm 2013-08-29 border as for Pretty_Tooltip;
2013-08-29 wenzelm 2013-08-29 less aggressive immediate completion, based on input and text;
2013-08-29 wenzelm 2013-08-29 preserve original word -- relevant for true uniqueness of immediate completion;
2013-08-29 wenzelm 2013-08-29 tuned;
2013-08-29 wenzelm 2013-08-29 added action isabelle.complete, using standard jEdit keyboard shortcut;
2013-08-29 wenzelm 2013-08-29 option to insert unique completion immediately into buffer;
2013-08-29 wenzelm 2013-08-29 tuned proofs;
2013-08-29 blanchet 2013-08-29 renamed BNF fact
2013-08-29 blanchet 2013-08-29 renamed BNF axiom
2013-08-29 blanchet 2013-08-29 renamed BNF fact
2013-08-29 blanchet 2013-08-29 renamed BNF axiom
2013-08-29 blanchet 2013-08-29 compile
2013-08-29 blanchet 2013-08-29 renamed BNF fact
2013-08-29 kuncar 2013-08-29 make SML/NJ happy
2013-08-29 wenzelm 2013-08-29 merged
2013-08-29 wenzelm 2013-08-29 tuned proofs;
2013-08-29 wenzelm 2013-08-29 clarified SideKick parser name, which serves as quasi "mode" here;
2013-08-29 wenzelm 2013-08-29 explicit indication of outer syntax with no tokens; uniform Isabelle.markers, based on syntax specification -- no tokens for NEWS;
2013-08-29 wenzelm 2013-08-29 clarified module location;
2013-08-29 wenzelm 2013-08-29 always use extended styles (despite de26cf3191a3);
2013-08-29 wenzelm 2013-08-29 more uniform configuration of editor modes and token markers;
2013-08-29 wenzelm 2013-08-29 syntax for isabelle-news with symbol completion;
2013-08-29 wenzelm 2013-08-29 tuned signature;
2013-08-29 wenzelm 2013-08-29 maintain Completion_Popup.Text_Area as client property like Document_View; global Completion_Popup.Text_Area init/exit like SideKickPlugin; eliminated old SideKick completion -- cover all Isabelle modes uniformly; dynamic lookup of Isabelle.mode_syntax -- NB: buffer mode might be undefined in intermediate stages;
2013-08-29 wenzelm 2013-08-29 some completion options;
2013-08-29 wenzelm 2013-08-29 more abstract Completion_Popup.Text_Area; more uniform font size;
2013-08-29 wenzelm 2013-08-29 GTK+ works better due to avoidance of default list view popups;
2013-08-29 blanchet 2013-08-29 renamed BNF axiom
2013-08-29 blanchet 2013-08-29 merge
2013-08-29 blanchet 2013-08-29 handle type class annotations on (co)datatype parameters gracefully
2013-08-29 traytel 2013-08-29 store nesting_bnfs in fp_sugar (required in "nested to mutual" reduction)
2013-08-29 blanchet 2013-08-29 cleaner handling of bootstrapping "fake" context, with fewer (no?) obscure bugs
2013-08-29 blanchet 2013-08-29 qualify BNF constants properly
2013-08-29 blanchet 2013-08-29 qualify generated constants uniformly
2013-08-29 blanchet 2013-08-29 rationalized bindings
2013-08-29 blanchet 2013-08-29 rationalize message generation + added a warning
2013-08-29 panny 2013-08-29 removed outdated comments
2013-08-29 traytel 2013-08-29 build relator term for compound type (generalized build_map)