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;
wenzelm [Wed, 12 Apr 2017 21:13:43 +0200] rev 65470
global session_base for PIDE interaction;
wenzelm [Wed, 12 Apr 2017 19:56:47 +0200] rev 65469
more explicit jEdit file operations;
less redundant JEdit_Resources.node_name();
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;
wenzelm [Wed, 12 Apr 2017 14:59:55 +0200] rev 65467
tuned;
haftmann [Wed, 12 Apr 2017 09:27:47 +0200] rev 65466
tuned
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
wenzelm [Wed, 12 Apr 2017 13:48:07 +0200] rev 65464
merged
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;
wenzelm [Tue, 11 Apr 2017 16:18:01 +0200] rev 65462
less global theories -- conflict with AFP entries;