| 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
|
| 2013-09-25 |
wenzelm |
removed obsolete cobra.jar, js.jar (see also 30de372ca56f);
|
file |
diff |
annotate
|
| 2013-09-22 |
wenzelm |
clarified location of GUI modules (which depend on Swing of JFX);
|
file |
diff |
annotate
|
| 2013-09-21 |
wenzelm |
removed obsolete README;
|
file |
diff |
annotate
|
| 2013-09-12 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| 2013-09-12 |
wenzelm |
clarified directory structure;
|
file |
diff |
annotate
|
| 2013-09-12 |
wenzelm |
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
|
file |
diff |
annotate
|
| 2013-09-07 |
wenzelm |
odd workaround for scalac to enable nohup;
|
file |
diff |
annotate
|
| 2013-09-06 |
wenzelm |
build session before start of jedit;
|
file |
diff |
annotate
|
| 2013-09-06 |
wenzelm |
use JEDIT_OPTIONS only once (in isabelle.Main.start_jedit);
|
file |
diff |
annotate
|
| 2013-09-06 |
wenzelm |
warm start of Isabelle/jEdit from Isabelle/Scala;
|
file |
diff |
annotate
|
| 2013-09-06 |
wenzelm |
prefer Isabelle/Scala over bash;
|
file |
diff |
annotate
|
| 2013-09-06 |
wenzelm |
prefer Isabelle/Scala over bash;
|
file |
diff |
annotate
|
| 2013-09-06 |
wenzelm |
prefer warm start via JEdit_Main;
|
file |
diff |
annotate
|
| 2013-09-05 |
wenzelm |
updated to jedit_build-20130905 which is based on jedit-5.1.0;
|
file |
diff |
annotate
|
| 2013-08-28 |
wenzelm |
more elementary Popup via JLayeredPane -- avoid javax.swing.PopupFactory with its many problems and dangers of accidental HeavyWeightPopup (especially on Mac OS X);
|
file |
diff |
annotate
|
| 2013-08-13 |
wenzelm |
Completion popup based on javax.swing.PopupFactory, which has better cross-platform chances than JWindow (cf. org/gjt/jedit/gui/CompletionPopup.java);
|
file |
diff |
annotate
|
| 2013-08-12 |
wenzelm |
moved generic module to its proper place;
|
file |
diff |
annotate
|
| 2013-08-12 |
wenzelm |
manage hyperlinks via PIDE editor interface;
|
file |
diff |
annotate
|
| 2013-08-12 |
wenzelm |
tuned signature -- more abstract PIDE editor operations;
|
file |
diff |
annotate
|
| 2013-08-09 |
wenzelm |
separate Process_Indicator -- simplified/clarified version of org.gjt.sp.jedit.gui.AnimatedIcon;
|
file |
diff |
annotate
|
| 2013-08-08 |
wenzelm |
dockable window for Sledgehammer, based on asynchronous/parallel query operation;
|
file |
diff |
annotate
|
| 2013-08-05 |
wenzelm |
slightly more general support for one-shot query operations via asynchronous print functions and temporary document overlay;
|
file |
diff |
annotate
|
| 2013-08-02 |
wenzelm |
dockable window for "find" dialog (GUI only);
|
file |
diff |
annotate
|
| 2013-07-06 |
wenzelm |
more dependencies;
|
file |
diff |
annotate
|
| 2013-07-06 |
wenzelm |
minimal jedit mode for Isabelle NEWS;
|
file |
diff |
annotate
|
| 2013-06-28 |
wenzelm |
support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);
|
file |
diff |
annotate
|
| 2013-06-25 |
wenzelm |
dockable window for Isabelle documentation;
|
file |
diff |
annotate
|
| 2013-03-26 |
wenzelm |
dockable window for timing information;
|
file |
diff |
annotate
|
| 2013-03-24 |
wenzelm |
basic support for xz files;
|
file |
diff |
annotate
|
| 2013-01-31 |
wenzelm |
some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);
|
file |
diff |
annotate
|
| 2013-01-09 |
wenzelm |
refrain from writing to JEDIT_SETTINGS in BUILD_ONLY mode -- relevant for makedist;
|
file |
diff |
annotate
|
| 2013-01-09 |
wenzelm |
build browser more robustly before startup;
|
file |
diff |
annotate
|
| 2013-01-04 |
wenzelm |
actually install required copy of Highlight.jar;
|
file |
diff |
annotate
|
| 2012-12-31 |
wenzelm |
scala mode is already part of jedit-5.0.0;
|
file |
diff |
annotate
|
| 2012-12-15 |
wenzelm |
tuned command line;
|
file |
diff |
annotate
|
| 2012-12-15 |
wenzelm |
clarified build_dialog command line;
|
file |
diff |
annotate
|
| 2012-12-15 |
wenzelm |
fold handling within Pretty_Text_Area, based on formal document content, which is static here;
|
file |
diff |
annotate
|
| 2012-12-10 |
wenzelm |
generalized notion of active area, where sendback is just one application;
|
file |
diff |
annotate
|
| 2012-12-08 |
wenzelm |
basic monitor panel, using the powerful jfreechart library;
|
file |
diff |
annotate
|
| 2012-12-07 |
wenzelm |
more rigorous "build only" mode: avoid build dialog of logic image and its potential need for GUI display;
|
file |
diff |
annotate
|
| 2012-12-06 |
wenzelm |
clarified build_dialog: regular up-to-date check (extra cost of approx. 5s startup for HOL);
|
file |
diff |
annotate
|
| 2012-12-06 |
wenzelm |
more uniform default logic, using settings, options, args etc.;
|
file |
diff |
annotate
|
| 2012-12-05 |
wenzelm |
implicit build_dialog for Isabelle/jEdit;
|
file |
diff |
annotate
|
| 2012-12-01 |
wenzelm |
updated to jedit-5.0.0;
|
file |
diff |
annotate
|
| 2012-11-30 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
|
| 2012-11-25 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2012-11-25 |
wenzelm |
tuned file name;
|
file |
diff |
annotate
|
| 2012-11-24 |
wenzelm |
improved editing support for control styles;
|
file |
diff |
annotate
|
| 2012-11-21 |
immler |
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
|
file |
diff |
annotate
|
| 2012-11-18 |
wenzelm |
proper jvmpath for windows;
|
file |
diff |
annotate
|
| 2012-11-17 |
wenzelm |
prefer absolute default $USER_HOME/Scratch.thy;
|
file |
diff |
annotate
|
| 2012-10-20 |
wenzelm |
avoid duplicate build of jars_fresh;
|
file |
diff |
annotate
|
| 2012-10-07 |
wenzelm |
detach tooltip as dockable window;
|
file |
diff |
annotate
|
| 2012-10-04 |
wenzelm |
separate module Pretty_Tooltip;
|
file |
diff |
annotate
|
| 2012-09-27 |
wenzelm |
removed obsolete Output1 dockable;
|
file |
diff |
annotate
|
| 2012-09-26 |
wenzelm |
some support for jEdit warmstart;
|
file |
diff |
annotate
|
| 2012-09-26 |
wenzelm |
more uniform graphview terminology;
|
file |
diff |
annotate
|
| 2012-09-25 |
wenzelm |
basic integration of graphview into document model;
|
file |
diff |
annotate
|
| 2012-09-21 |
wenzelm |
renamed Output to Output1 and Output2 to Output, and thus make the new version the default;
|
file |
diff |
annotate
|
| 2012-09-21 |
wenzelm |
some support for hovering and sendback area;
|
file |
diff |
annotate
|