src/Tools/jEdit/src/document_model.scala
2011-08-23 wenzelm 2011-08-23 propagate editor perspective through document model;
2011-08-22 wenzelm 2011-08-22 added official Text.Range.Ordering; some support for text perspective;
2011-08-21 wenzelm 2011-08-21 more robust initialization of token marker and line context wrt. session startup;
2011-08-13 wenzelm 2011-08-13 clarified node header -- exclude master_dir;
2011-08-12 wenzelm 2011-08-12 clarified document model header: master_dir (native wrt. editor, potentially URL) and node_name (full canonical path);
2011-07-10 wenzelm 2011-07-10 propagate header changes to prover process; simplified Document case classes; Document.State.assignments: indexed by Version_ID;
2011-07-09 wenzelm 2011-07-09 clarified propagation of node name and header;
2011-07-09 wenzelm 2011-07-09 some support for blobs (arbitrary text files) within document nodes;
2011-07-07 wenzelm 2011-07-07 explicit Document.Node.Header, with master_dir and thy_name; imitate ML path operations more closely;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-07-03 wenzelm 2011-07-03 more explicit edit_node vs. init_node; some support for master_dir and header;
2011-07-02 wenzelm 2011-07-02 tuned signature;
2011-06-22 wenzelm 2011-06-22 clarified init/exit procedure;
2011-06-18 wenzelm 2011-06-18 avoid setTokenMarker fluctuation on buffer reload etc. via static isabelle_token_marker, which is installed by hijacking the jEdit ModeProvider;
2011-06-16 wenzelm 2011-06-16 static token markup, based on outer syntax only; eliminated obsolete buffer.propertiesChanged (expensive due to remarking of full buffer etc.);
2011-06-15 wenzelm 2011-06-15 more robust init;
2011-06-15 wenzelm 2011-06-15 more elaborate syntax styles;
2011-06-14 wenzelm 2011-06-14 builtin sub/superscript styles for jedit-4.3.2;
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;