Mercurial
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
branches
|
file
| revisions |
annotate
|
diff
|
rss
src/Doc/JEdit/JEdit.thy
2016-11-20
wenzelm
2016-11-20
misc tuning and updates;
file
|
diff
|
annotate
2016-11-20
wenzelm
2016-11-20
more on JVM heap space;
file
|
diff
|
annotate
2016-10-02
wenzelm
2016-10-02
just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;
file
|
diff
|
annotate
2016-09-14
wenzelm
2016-09-14
discontinued global etc/abbrevs;
file
|
diff
|
annotate
2016-09-01
wenzelm
2016-09-01
clarified important directories;
file
|
diff
|
annotate
2016-08-12
wenzelm
2016-08-12
more symbols;
file
|
diff
|
annotate
2016-08-11
wenzelm
2016-08-11
clarified antiquotations;
file
|
diff
|
annotate
2016-04-13
wenzelm
2016-04-13
eliminated "xname" and variants;
file
|
diff
|
annotate
2016-04-08
wenzelm
2016-04-08
backout 930a30c1a9af: leads to odd effect of command-line options becoming persistent preferences;
file
|
diff
|
annotate
2016-04-08
wenzelm
2016-04-08
option "-o" for "isabelle jedit";
file
|
diff
|
annotate
2016-02-05
wenzelm
2016-02-05
more on Mac OS X with Retina display;
file
|
diff
|
annotate
2016-01-31
wenzelm
2016-01-31
more on "ML debugging within the Prover IDE";
file
|
diff
|
annotate
2016-01-29
wenzelm
2016-01-29
misc tuning and updates;
file
|
diff
|
annotate
2016-01-29
wenzelm
2016-01-29
misc tuning and updates;
file
|
diff
|
annotate
2016-01-29
wenzelm
2016-01-29
misc tuning;
file
|
diff
|
annotate
2016-01-20
wenzelm
2016-01-20
clarified -- this is available on Mac OS X, too;
file
|
diff
|
annotate
2016-01-15
wenzelm
2016-01-15
misc updates and tuning; more on "Output" versus "Proof state";
file
|
diff
|
annotate
2016-01-15
wenzelm
2016-01-15
misc updates and tuning;
file
|
diff
|
annotate
2016-01-15
wenzelm
2016-01-15
misc updates and tuning;
file
|
diff
|
annotate
2016-01-12
wenzelm
2016-01-12
updated old screenshots, added new screenshots;
file
|
diff
|
annotate
2016-01-02
wenzelm
2016-01-02
clarified isabelle jedit command-line;
file
|
diff
|
annotate
2016-01-02
wenzelm
2016-01-02
provide server name uniformly on all platforms;
file
|
diff
|
annotate
2015-12-31
wenzelm
2015-12-31
documentation for "isabelle jedit_client";
file
|
diff
|
annotate
2015-12-29
wenzelm
2015-12-29
support additional abbrevs;
file
|
diff
|
annotate
2015-11-13
wenzelm
2015-11-13
more uniform jEdit properties;
file
|
diff
|
annotate
2015-11-04
wenzelm
2015-11-04
tuned whitespace;
file
|
diff
|
annotate
2015-11-04
wenzelm
2015-11-04
updated;
file
|
diff
|
annotate
2015-11-04
wenzelm
2015-11-04
more antiquotations;
file
|
diff
|
annotate
2015-10-31
wenzelm
2015-10-31
back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider;
file
|
diff
|
annotate
2015-10-27
wenzelm
2015-10-27
workaround for problem with C-1, C-2, C-3 seen on Slovak QWERTY keyboard;
file
|
diff
|
annotate
2015-10-24
wenzelm
2015-10-24
more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;
file
|
diff
|
annotate
2015-10-22
wenzelm
2015-10-22
tuned;
file
|
diff
|
annotate
2015-10-22
wenzelm
2015-10-22
tuned;
file
|
diff
|
annotate
2015-10-22
wenzelm
2015-10-22
more control symbols; tuned;
file
|
diff
|
annotate
2015-10-20
wenzelm
2015-10-20
isabelle update_cartouches -t;
file
|
diff
|
annotate
2015-10-19
wenzelm
2015-10-19
added action "isabelle-emph"; changed shortcut of action "isabelle-reset";
file
|
diff
|
annotate
2015-10-18
wenzelm
2015-10-18
more control symbols;
file
|
diff
|
annotate
2015-10-16
wenzelm
2015-10-16
Markdown support in document text;
file
|
diff
|
annotate
2015-10-14
wenzelm
2015-10-14
more symbols;
file
|
diff
|
annotate
2015-10-12
wenzelm
2015-10-12
more symbols;
file
|
diff
|
annotate
2015-10-12
wenzelm
2015-10-12
@{verbatim [display]} supersedes old alltt/ttbox;
file
|
diff
|
annotate
2015-09-19
wenzelm
2015-09-19
obsolete;
file
|
diff
|
annotate
2015-09-08
wenzelm
2015-09-08
clarified JEDIT_JAVA_SYSTEM_OPTIONS;
file
|
diff
|
annotate
2015-05-22
wenzelm
2015-05-22
tuned;
file
|
diff
|
annotate
2015-05-21
wenzelm
2015-05-21
tuned;
file
|
diff
|
annotate
2015-05-19
wenzelm
2015-05-19
more on displays with very high resolution;
file
|
diff
|
annotate
2015-05-06
wenzelm
2015-05-06
tuned;
file
|
diff
|
annotate
2015-05-05
wenzelm
2015-05-05
more documentation;
file
|
diff
|
annotate
2015-05-04
wenzelm
2015-05-04
tuned;
file
|
diff
|
annotate
2015-05-04
wenzelm
2015-05-04
more on GTK;
file
|
diff
|
annotate
2015-05-04
wenzelm
2015-05-04
more on Isabelle document preparation and bibtex files;
file
|
diff
|
annotate
2014-10-07
wenzelm
2014-10-07
more cartouches;
file
|
diff
|
annotate
2014-10-05
wenzelm
2014-10-05
more refs;
file
|
diff
|
annotate
2014-10-05
wenzelm
2014-10-05
prefer @{cite} antiquotation;
file
|
diff
|
annotate
2014-08-08
wenzelm
2014-08-08
improved monitor panel;
file
|
diff
|
annotate
2014-07-31
wenzelm
2014-07-31
completion popup supports both ENTER and TAB (default);
file
|
diff
|
annotate
2014-07-28
wenzelm
2014-07-28
some actual workaround to remove document nodes;
file
|
diff
|
annotate
2014-07-23
wenzelm
2014-07-23
added action "isabelle.options" (despite problems with initial window size);
file
|
diff
|
annotate
2014-07-22
wenzelm
2014-07-22
more default imports;
file
|
diff
|
annotate
2014-07-21
wenzelm
2014-07-21
always complete explicit symbols;
file
|
diff
|
annotate