isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip

more uniform treatment of word case for check / complete;
2014-04-16, by wenzelm
capitalize fully (like in Emacs);
2014-04-16, by wenzelm
clarified word case;
2014-04-16, by wenzelm
more specific support for sequence of words;
2014-04-16, by wenzelm
tuned signature -- separate module Word;
2014-04-16, by wenzelm
more NEWS;
2014-04-15, by wenzelm
tuned default: melange of all "en" dialects;
2014-04-15, by wenzelm
updated to jortho-1.0-2: added dictionary "en-CA", changed dictionary "en" to be the union of all dialects instead of intersection;
2014-04-15, by wenzelm
more context-sensitivity;
2014-04-15, by wenzelm
tuned spelling;
2014-04-15, by wenzelm
back to unrestricted before_caret_range, which is important for quick editing at the end of line (amending 83777a91f5de);
2014-04-15, by wenzelm
prefer direct caret_range for update_dictionary actions, which usually happen outside the flow of editing;
2014-04-15, by wenzelm
clarified abbreviations for cartouche delimiters, to work in any context;
2014-04-15, by wenzelm
clarified treatment of markup ranges wrt. revert/convert: inflate_singularity allows to retrieve information like language_context more reliably during editing;
2014-04-15, by wenzelm
more robust JEdit_Lib.line_range, according to usual jEdit confusion at end of last line;
2014-04-15, by wenzelm
avoid conflict of Isabelle/jEdit popups with jEdit context menu;
2014-04-15, by wenzelm
clarified before_caret_range: prevent continuation on next line;
2014-04-15, by wenzelm
explicit menu action to complete word;
2014-04-15, by wenzelm
common context menu for Isabelle/jEdit;
2014-04-15, by wenzelm
tuned;
2014-04-15, by wenzelm
tuned;
2014-04-15, by wenzelm
tuned spelling;
2014-04-15, by wenzelm
tuned menu;
2014-04-15, by wenzelm
NEWS;
2014-04-15, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip

isabelle