testboard: File revisions

src/Tools/jEdit/src/jedit_resources.scala

2017-06-26 ago	proper bootstrap_name (amending b42743f5b595);	file \| diff \| annotate
2017-04-21 ago	eliminated default_qualifier: just a constant;	file \| diff \| annotate
2017-04-20 ago	tuned signature;	file \| diff \| annotate
2017-04-17 ago	prefer formal name from session context, for proper qualified theory name;	file \| diff \| annotate
2017-04-13 ago	tuned signature (again);	file \| diff \| annotate
2017-04-12 ago	tuned;	file \| diff \| annotate
2017-04-12 ago	clarified loaded_theories: map to qualified theory name;	file \| diff \| annotate
2017-04-12 ago	more explicit jEdit file operations;	file \| diff \| annotate
2017-04-10 ago	clarified signature;	file \| diff \| annotate
2017-04-08 ago	more session_base information in ML;	file \| diff \| annotate
2017-04-03 ago	tuned signature;	file \| diff \| annotate
2017-04-03 ago	provide session qualifier via resources;	file \| diff \| annotate
2017-03-15 ago	unused;	file \| diff \| annotate
2017-03-14 ago	proper plugin access;	file \| diff \| annotate
2017-01-09 ago	update File_Model based on file-system events;	file \| diff \| annotate
2017-01-09 ago	clarified modules;	file \| diff \| annotate
2017-01-09 ago	tuned signature;	file \| diff \| annotate
2017-01-08 ago	added node_name(String): imitate jEdit buffer operations;	file \| diff \| annotate
2017-01-08 ago	refer to internal File_Model instead of external file;	file \| diff \| annotate
2017-01-08 ago	tuned;	file \| diff \| annotate
2017-01-08 ago	resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;	file \| diff \| annotate
2017-01-08 ago	tuned;	file \| diff \| annotate
2017-01-06 ago	manage buffer models as explicit global state;	file \| diff \| annotate
2017-01-05 ago	tuned;	file \| diff \| annotate
2016-04-19 ago	more IDE support for Isabelle/Pure bootstrap;	file \| diff \| annotate
2015-08-25 ago	clarified undefined_blobs: already loaded theories are suppressed;	file \| diff \| annotate
2015-08-20 ago	tuned signature, according to ML version;	file \| diff \| annotate
2015-08-12 ago	more thorough reload;	file \| diff \| annotate
2015-08-12 ago	resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;	file \| diff \| annotate
2015-07-30 ago	clarified management of (single) session;	file \| diff \| annotate
2015-03-13 ago	tuned signature;	file \| diff \| annotate
2015-01-08 ago	tuned;	file \| diff \| annotate
2014-12-02 ago	more careful syntax_changed propagation -- avoid global jEdit.propertiesChanged;	file \| diff \| annotate
2014-12-02 ago	node-specific syntax, with base_syntax as default;	file \| diff \| annotate
2014-08-02 ago	always resolve symlinks for local files, e.g. relevant for ML_file to load proper source via editor instead of stored file via prover;	file \| diff \| annotate
2014-07-23 ago	another attempt at more aggressive auto-loading (amending af28fdd50690) -- hidden buffers are now suppressed;	file \| diff \| annotate
2014-07-23 ago	clarified module name: facilitate alternative GUI frameworks;	file \| diff \| annotate
2014-05-02 ago	more frugal access to theory text via Reader, reduced costs for I/O text decoding;	file \| diff \| annotate
2014-04-30 ago	some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;	file \| diff \| annotate
2014-04-23 ago	avoid accidental use of scala.language.reflectiveCalls;	file \| diff \| annotate
2014-04-09 ago	improved support for external URLs, based on standard Java network operations;	file \| diff \| annotate
2014-04-08 ago	ignore deps_changed (again) -- avoid proactive load attempts of unfinished header specification while the user is typing;	file \| diff \| annotate
2014-04-07 ago	tuned signature -- prefer static type Document.Node.Name;	file \| diff \| annotate
2014-03-29 ago	propagate deps_changed, to resolve missing files without requiring jEdit events (e.g. buffer load/save);	file \| diff \| annotate
2014-03-18 ago	clarifed module name;	file \| diff \| annotate \| base

testboard

RSS Atom