wenzelm [Sat, 18 Mar 2017 16:43:40 +0100] rev 65308
support PIDE option (inactive);
misc tuning;
wenzelm [Sat, 18 Mar 2017 16:15:37 +0100] rev 65307
more explicit build_session args;
support both command-line and PIDE version;
wenzelm [Sat, 18 Mar 2017 14:30:03 +0100] rev 65306
avoid compiler warning;
wenzelm [Sat, 18 Mar 2017 14:16:13 +0100] rev 65305
actually throw exception;
wenzelm [Sat, 18 Mar 2017 14:12:38 +0100] rev 65304
clarified result;
wenzelm [Sat, 18 Mar 2017 13:15:07 +0100] rev 65303
reset print_mode, e.g. relevant for saved heap;
wenzelm [Sat, 18 Mar 2017 13:06:10 +0100] rev 65302
clarified init (see also 32755e357a51, ac48def96b69);
wenzelm [Sat, 18 Mar 2017 12:46:52 +0100] rev 65301
restore output channels after shutdown, e.g. relevant for saved heap;
wenzelm [Sat, 18 Mar 2017 12:24:56 +0100] rev 65300
clarified signature;
wenzelm [Fri, 17 Mar 2017 23:24:04 +0100] rev 65299
merged
wenzelm [Fri, 17 Mar 2017 22:00:34 +0100] rev 65298
tuned;
wenzelm [Fri, 17 Mar 2017 21:57:11 +0100] rev 65297
proper columns;
wenzelm [Fri, 17 Mar 2017 21:55:13 +0100] rev 65296
tuned signature;
wenzelm [Fri, 17 Mar 2017 21:43:37 +0100] rev 65295
more general signature: not limited to SQLite;
wenzelm [Fri, 17 Mar 2017 21:18:49 +0100] rev 65294
suppress inlined properties from log output;
wenzelm [Fri, 17 Mar 2017 20:57:20 +0100] rev 65293
prefer database, but also accept log.gz from historic versions;
wenzelm [Fri, 17 Mar 2017 20:33:27 +0100] rev 65292
more robust JDBC initialization, e.g. required for Isabelle/jEdit startup;
wenzelm [Fri, 17 Mar 2017 20:21:01 +0100] rev 65291
maintain persistent session info in SQLite database instead of log file;
wenzelm [Fri, 17 Mar 2017 19:14:11 +0100] rev 65290
tuned;
wenzelm [Fri, 17 Mar 2017 11:35:03 +0100] rev 65289
tuned signature;
wenzelm [Fri, 17 Mar 2017 11:27:58 +0100] rev 65288
tuned;
wenzelm [Fri, 17 Mar 2017 11:15:57 +0100] rev 65287
tuned message;
wenzelm [Fri, 17 Mar 2017 10:58:32 +0100] rev 65286
clarified signature;
wenzelm [Fri, 17 Mar 2017 10:39:14 +0100] rev 65285
more selective queries;
wenzelm [Fri, 17 Mar 2017 10:03:00 +0100] rev 65284
clarified data representation;
wenzelm [Fri, 17 Mar 2017 09:49:01 +0100] rev 65283
data representation with XML.Cache;
tuned;
wenzelm [Fri, 17 Mar 2017 09:33:58 +0100] rev 65282
clarified name;
wenzelm [Thu, 16 Mar 2017 23:33:39 +0100] rev 65281
SQL database operations for combined session info;
wenzelm [Thu, 16 Mar 2017 23:27:29 +0100] rev 65280
prefer non-strict default;
wenzelm [Thu, 16 Mar 2017 23:26:16 +0100] rev 65279
clarified signature (again, see also 3ed43cfc8b14);