2017-04-12 agoclarified loaded_theories: map to qualified theory name;
wenzelm [Wed, 12 Apr 2017 22:32:55 +0200] rev 65471
clarified loaded_theories: map to qualified theory name;
proper theory_name for PIDE editors;

2017-04-12 agoglobal session_base for PIDE interaction;
wenzelm [Wed, 12 Apr 2017 21:13:43 +0200] rev 65470
global session_base for PIDE interaction;

2017-04-12 agomore explicit jEdit file operations;
wenzelm [Wed, 12 Apr 2017 19:56:47 +0200] rev 65469
more explicit jEdit file operations;
less redundant JEdit_Resources.node_name();

2017-04-12 agoearly check and normalization of session directory, e.g. relevant for path information passed to ML process, which may have a different CWD;
wenzelm [Wed, 12 Apr 2017 17:48:19 +0200] rev 65468
early check and normalization of session directory, e.g. relevant for path information passed to ML process, which may have a different CWD;

2017-04-12 agotuned;
wenzelm [Wed, 12 Apr 2017 14:59:55 +0200] rev 65467
tuned;

2017-04-12 agotuned
haftmann [Wed, 12 Apr 2017 09:27:47 +0200] rev 65466
tuned

2017-04-12 agomore fundamental euler's totient function on nat rather than int;
haftmann [Wed, 12 Apr 2017 09:27:43 +0200] rev 65465
more fundamental euler's totient function on nat rather than int;
avoid generic name phi;
separate theory for euler's totient function

2017-04-12 agomerged
wenzelm [Wed, 12 Apr 2017 13:48:07 +0200] rev 65464
merged

2017-04-11 agomore informative known_files: known_theories within the local session directory come first;
wenzelm [Tue, 11 Apr 2017 20:27:14 +0200] rev 65463
more informative known_files: known_theories within the local session directory come first;
more thorough Session.Base.platform_path;

2017-04-11 agoless global theories -- conflict with AFP entries;
wenzelm [Tue, 11 Apr 2017 16:18:01 +0200] rev 65462
less global theories -- conflict with AFP entries;