| #
d0042b03 |
|
11-Mar-2018 |
wenzelm <none@none> |
clarified argument formats: explicit Unit, allow XML.Elem as well;
tuned messages: prefer single quotes for JSON output;
|
| #
3ee6c0a8 |
|
23-Oct-2016 |
wenzelm <none@none> |
discontinued unused / untested distinction of separate PIDE modules;
|
| #
898609cb |
|
22-Apr-2014 |
wenzelm <none@none> |
avoid octal escape literals -- deprecated in scala-2.11.0;
|
| #
6ab94b2a |
|
16-Apr-2014 |
wenzelm <none@none> |
more specific support for sequence of words;
|
| #
5651fdb5 |
|
18-Feb-2014 |
wenzelm <none@none> |
tuned whitespace;
|
| #
c97520e9 |
|
18-Feb-2014 |
wenzelm <none@none> |
tuned signature;
|
| #
3135256d |
|
28-Aug-2012 |
wenzelm <none@none> |
clarified separated_chunks vs. space_explode;
|
| #
2ec142c0 |
|
29-Nov-2011 |
wenzelm <none@none> |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
| #
2a73801f |
|
28-Nov-2011 |
wenzelm <none@none> |
explicit indication of modules for independent Scala library;
|
| #
99fd6f8e |
|
28-Nov-2011 |
wenzelm <none@none> |
separate module for concrete Isabelle markup;
--HG--
rename : src/Pure/General/markup.ML => src/Pure/General/isabelle_markup.ML
rename : src/Pure/General/markup.scala => src/Pure/General/isabelle_markup.scala
|
| #
ec656bb9 |
|
04-Sep-2011 |
wenzelm <none@none> |
moved XML/YXML to src/Pure/PIDE;
tuned comments;
--HG--
rename : src/Pure/General/xml.ML => src/Pure/PIDE/xml.ML
rename : src/Pure/General/xml.scala => src/Pure/PIDE/xml.scala
rename : src/Pure/General/yxml.ML => src/Pure/PIDE/yxml.ML
rename : src/Pure/General/yxml.scala => src/Pure/PIDE/yxml.scala
|