| 2017-04-21 |
wenzelm |
more uniform isabelle_scala;
|
file |
diff |
annotate
|
| 2017-04-19 |
wenzelm |
optionally explore all sessions -- potentially slow, e.g. for AFP;
|
file |
diff |
annotate
|
| 2017-03-19 |
wenzelm |
updated to jedit-5.4.0;
|
file |
diff |
annotate
|
| 2017-03-15 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2017-03-07 |
wenzelm |
clarified modules: spell-checker in Pure;
|
file |
diff |
annotate
|
| 2017-01-15 |
wenzelm |
clarified settings;
|
file |
diff |
annotate
|
| 2016-12-20 |
wenzelm |
clarified module name;
|
file |
diff |
annotate
|
| 2016-12-18 |
wenzelm |
added isabelle jedit -R;
|
file |
diff |
annotate
|
| 2016-10-02 |
wenzelm |
just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;
|
file |
diff |
annotate
|
| 2016-10-01 |
wenzelm |
options for process policy, notably for multiprocessor machines;
|
file |
diff |
annotate
|
| 2016-08-30 |
wenzelm |
some support for merge of Isabelle/jEdit shortcuts wrt. jEdit keymap;
|
file |
diff |
annotate
|
| 2016-07-07 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2016-04-14 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2016-04-09 |
wenzelm |
support ROOT0.ML as well -- independently of ROOT.ML;
|
file |
diff |
annotate
|
| 2016-04-08 |
wenzelm |
backout 930a30c1a9af: leads to odd effect of command-line options becoming persistent preferences;
|
file |
diff |
annotate
|
| 2016-04-08 |
wenzelm |
option "-o" for "isabelle jedit";
|
file |
diff |
annotate
|
| 2016-04-07 |
wenzelm |
clarified mode of ROOT.ML files;
|
file |
diff |
annotate
|
| 2016-03-10 |
wenzelm |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
file |
diff |
annotate
|
| 2016-01-02 |
wenzelm |
clarified isabelle jedit command-line;
|
file |
diff |
annotate
|
| 2015-10-24 |
wenzelm |
more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;
|
file |
diff |
annotate
|
| 2015-10-23 |
wenzelm |
updated to jedit-5.3.0 and SideKick 1.8;
|
file |
diff |
annotate
|
| 2015-10-01 |
wenzelm |
less ambitious regex -- avoid unclarities of escaping;
|
file |
diff |
annotate
|
| 2015-09-30 |
wenzelm |
renamed jvmpath to platform_path;
|
file |
diff |
annotate
|
| 2015-09-30 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2015-09-21 |
wenzelm |
separate panel for proof state output;
|
file |
diff |
annotate
|
| 2015-09-14 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| 2015-09-08 |
wenzelm |
clarified JEDIT_JAVA_OPTIONS: separate defaults for 32 vs. 64 bit;
|
file |
diff |
annotate
|
| 2015-09-08 |
wenzelm |
clarified JEDIT_JAVA_SYSTEM_OPTIONS;
|
file |
diff |
annotate
|
| 2015-07-17 |
wenzelm |
skeleton for interactive debugger;
|
file |
diff |
annotate
|
| 2015-02-28 |
wenzelm |
updated to jedit-5.2.0;
|
file |
diff |
annotate
|
| 2015-01-22 |
wenzelm |
backout cefeea956989: Graphview *is* required in Pure to replace old browser eventually;
|
file |
diff |
annotate
|
| 2015-01-21 |
haftmann |
sufficent to have graphview as part of jEdit rather than Pure
|
file |
diff |
annotate
|
| 2014-10-21 |
wenzelm |
support for structure matching;
|
file |
diff |
annotate
|
| 2014-10-05 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2014-10-05 |
wenzelm |
citation tooltip/hyperlink based on open buffers with .bib files;
|
file |
diff |
annotate
|
| 2014-10-04 |
wenzelm |
support for bibtex token markup;
|
file |
diff |
annotate
|
| 2014-07-23 |
wenzelm |
more workarounds for scalac;
|
file |
diff |
annotate
|
| 2014-06-18 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2014-05-25 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2014-05-21 |
wenzelm |
incorporate isabelle.graphview into Pure.jar, which saves 20..30s build time;
|
file |
diff |
annotate
|
| 2014-05-07 |
wenzelm |
some odd tricks to provide "Detach" menu item, via "PIDE" docking framework;
|
file |
diff |
annotate
|
| 2014-05-06 |
wenzelm |
renamed "Find" to "Query", with more general operations;
|
file |
diff |
annotate
|
| 2014-04-27 |
wenzelm |
modernized Isabelle classpath for graphview;
|
file |
diff |
annotate
|
| 2014-04-23 |
wenzelm |
updated workaround;
|
file |
diff |
annotate
|
| 2014-04-15 |
wenzelm |
common context menu for Isabelle/jEdit;
|
file |
diff |
annotate
|
| 2014-04-11 |
wenzelm |
added spell-checker based on jortho-1.0;
|
file |
diff |
annotate
|
| 2014-04-05 |
wenzelm |
clarified Doc entry: more explicit path;
|
file |
diff |
annotate
|
| 2014-04-05 |
wenzelm |
updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);
|
file |
diff |
annotate
|
| 2014-03-25 |
wenzelm |
separate "sml" mode, suppress old "ml" mode altogether;
|
file |
diff |
annotate
|
| 2014-03-18 |
wenzelm |
clarifed module name;
|
file |
diff |
annotate
|
| 2014-03-01 |
wenzelm |
tuned signature -- separate module Font_Info;
|
file |
diff |
annotate
|
| 2014-02-15 |
wenzelm |
isabelle-ml mode with separate token marker;
|
file |
diff |
annotate
|
| 2014-02-04 |
Lars Hupel |
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
|
file |
diff |
annotate
|
| 2013-12-06 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2013-12-05 |
wenzelm |
uniform use of transparent icons, as for main "apps";
|
file |
diff |
annotate
|
| 2013-12-04 |
wenzelm |
remove junk;
Isabelle2013-2
|
file |
diff |
annotate
|
| 2013-12-04 |
wenzelm |
recover main entry point from d9c88171b393 -- occasionally useful with plain "java -jar jedit.jar";
|
file |
diff |
annotate
|
| 2013-12-01 |
wenzelm |
prefer isabelle application icon;
|
file |
diff |
annotate
|
| 2013-09-26 |
wenzelm |
obsolete (see also 48d13465c7c7);
|
file |
diff |
annotate
|
| 2013-09-25 |
wenzelm |
include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
|
file |
diff |
annotate
|