| #
62dbe30f |
|
10-Dec-2017 |
wenzelm <none@none> |
avoid println with its extra CR on Windows;
|
| #
6da03ca3 |
|
27-Oct-2017 |
wenzelm <none@none> |
tuned;
|
| #
8e161900 |
|
30-Jun-2017 |
wenzelm <none@none> |
clarified platform file operations;
|
| #
baa35b8f |
|
19-May-2017 |
wenzelm <none@none> |
more uniform line-oriented output, notably for scala-2.12.2 REPL which emits "\n" separately;
|
| #
b67da8e4 |
|
19-May-2017 |
wenzelm <none@none> |
tuned;
|
| #
52247b7e |
|
28-Feb-2016 |
wenzelm <none@none> |
just one File.find_files, based on Java 7 Files operations;
|
| #
d8624f0f |
|
06-Nov-2015 |
wenzelm <none@none> |
tuned;
|
| #
6b9e466b |
|
03-Nov-2015 |
wenzelm <none@none> |
tuned;
|
| #
0cc46bec |
|
03-Aug-2014 |
wenzelm <none@none> |
tuned message;
|
| #
40e642df |
|
23-Jul-2014 |
wenzelm <none@none> |
clarified module name: facilitate alternative GUI frameworks;
--HG--
rename : src/Pure/GUI/swing_thread.scala => src/Pure/GUI/gui_thread.scala
|
| #
971f1662 |
|
22-Jul-2014 |
wenzelm <none@none> |
some robustification of console output;
|
| #
e7e1ac64 |
|
21-Jul-2014 |
wenzelm <none@none> |
more default imports;
|
| #
e4042f1b |
|
02-May-2014 |
wenzelm <none@none> |
more sensible interrupt of interpreter, when the user pushes Cancel button;
|
| #
2265014d |
|
02-May-2014 |
wenzelm <none@none> |
fork Scala interpreter thread, independently of Swing_Thread;
|
| #
3dbdcfd3 |
|
02-May-2014 |
wenzelm <none@none> |
clarified synchronization and exception handling;
|
| #
299b7b08 |
|
02-May-2014 |
wenzelm <none@none> |
more redirection;
|
| #
58ca7cf3 |
|
20-Feb-2014 |
wenzelm <none@none> |
added PIDE.snapshot, PIDE.rendering for convenience;
|
| #
ffd59da7 |
|
20-Feb-2014 |
wenzelm <none@none> |
tuned imports;
|
| #
08cb91f3 |
|
12-Sep-2013 |
wenzelm <none@none> |
more robust System.getProperty with default;
|
| #
931620d0 |
|
11-Sep-2013 |
wenzelm <none@none> |
more official initial class path according to sun.misc.Launcher;
|
| #
1ef354a0 |
|
11-Sep-2013 |
wenzelm <none@none> |
provide main classpath again, notably for cold-start;
|
| #
4e5cfda1 |
|
25-Nov-2012 |
wenzelm <none@none> |
renamed main plugin object to PIDE;
|
| #
44145955 |
|
25-Nov-2012 |
wenzelm <none@none> |
explicit module UTF8;
|
| #
b29d6c8d |
|
30-Jul-2012 |
wenzelm <none@none> |
clarified directory content operations (similar to ML version);
|
| #
d27767c8 |
|
20-Jul-2012 |
wenzelm <none@none> |
updated File.find_files;
|
| #
5fa78641 |
|
20-Jul-2012 |
wenzelm <none@none> |
more explicit java.io.{File => JFile};
|
| #
4da48248 |
|
24-May-2012 |
wenzelm <none@none> |
avoid scala.tools.nsc.Interpreter -- deprecated in scala-2.9.0;
discontinued support for scala-2.8.x;
|
| #
fe210751 |
|
18-Nov-2011 |
wenzelm <none@none> |
tuned message;
|
| #
24836e10 |
|
04-Jul-2011 |
wenzelm <none@none> |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
| #
80be4c97 |
|
23-Jun-2011 |
wenzelm <none@none> |
explicit import java.lang.System to prevent odd scope problems;
|
| #
3ccda455 |
|
08-Jun-2011 |
wenzelm <none@none> |
moved sources -- eliminated Netbeans artifact of jedit package directory;
--HG--
rename : src/Tools/jEdit/src/jedit/dockable.scala => src/Tools/jEdit/src/dockable.scala
rename : src/Tools/jEdit/src/jedit/document_model.scala => src/Tools/jEdit/src/document_model.scala
rename : src/Tools/jEdit/src/jedit/document_view.scala => src/Tools/jEdit/src/document_view.scala
rename : src/Tools/jEdit/src/jedit/html_panel.scala => src/Tools/jEdit/src/html_panel.scala
rename : src/Tools/jEdit/src/jedit/isabelle_encoding.scala => src/Tools/jEdit/src/isabelle_encoding.scala
rename : src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala => src/Tools/jEdit/src/isabelle_hyperlinks.scala
rename : src/Tools/jEdit/src/jedit/isabelle_markup.scala => src/Tools/jEdit/src/isabelle_markup.scala
rename : src/Tools/jEdit/src/jedit/isabelle_options.scala => src/Tools/jEdit/src/isabelle_options.scala
rename : src/Tools/jEdit/src/jedit/isabelle_sidekick.scala => src/Tools/jEdit/src/isabelle_sidekick.scala
rename : src/Tools/jEdit/src/jedit/output_dockable.scala => src/Tools/jEdit/src/output_dockable.scala
rename : src/Tools/jEdit/src/jedit/plugin.scala => src/Tools/jEdit/src/plugin.scala
rename : src/Tools/jEdit/src/jedit/protocol_dockable.scala => src/Tools/jEdit/src/protocol_dockable.scala
rename : src/Tools/jEdit/src/jedit/raw_output_dockable.scala => src/Tools/jEdit/src/raw_output_dockable.scala
rename : src/Tools/jEdit/src/jedit/scala_console.scala => src/Tools/jEdit/src/scala_console.scala
rename : src/Tools/jEdit/src/jedit/session_dockable.scala => src/Tools/jEdit/src/session_dockable.scala
|