23 months ago wenzelm tuned;
23 months ago wenzelm clarified signature, although "sql" argument is de-facto mandatory;
23 months ago wenzelm tuned;
23 months ago wenzelm proper SQL (amending 7ab9bac1ca96);
23 months ago wenzelm clarified signature: more explicit "synchronized" regions;
23 months ago wenzelm more robust interrupt handling, notably for Build_Job.terminate();
23 months ago wenzelm clarified signature: works for general Build_Job;
23 months ago wenzelm tuned;
23 months ago wenzelm clarified modules;
23 months ago wenzelm clarified signature;
23 months ago wenzelm proper log_lines, without protocol messages (amending cb3f5361fbca);
23 months ago wenzelm clarified signature;
23 months ago wenzelm tuned messages;
23 months ago wenzelm clarified error output vs. process_result stored in build_database (see also 13a0f537e232 and bff56eae3ec5);
23 months ago wenzelm clarified system option: guard for testing, until the database layout has stabilized;
23 months ago paulson merged
23 months ago paulson Simplified some proofs
23 months ago wenzelm clarified db content: avoid redundancy of historic ML_IDENTIFIER;
23 months ago wenzelm merged
23 months ago wenzelm proper filterNot, not filterNot-not;
23 months ago wenzelm option build_hostname allows to change hostname easily;
23 months ago wenzelm clarified permissions of build.db, following server.db;
23 months ago wenzelm enforce rebuild of Isabelle/ML, after various changes to build database management;
23 months ago wenzelm misc tuning and clarification: more uniform use of optional "sql" in SQL.Table.delete/select;
23 months ago wenzelm tuned: fewer warnings in IntelliJ IDEA;
23 months ago wenzelm clarified init_database vs. update_database: implicitly assume fresh "instance";
23 months ago wenzelm clarified Build_Process.Context: cover all static information;
23 months ago wenzelm tuned whitespace in generated SQL;
23 months ago wenzelm tuned: prefer typed operations;
23 months ago wenzelm clarified signature: more concise operations;
23 months ago wenzelm more robust options in "prefs" format: avoid odd control character;
23 months ago wenzelm proper settings for hostname: allow to adjust it in user space;
23 months ago wenzelm support for build database: still inactive;
23 months ago wenzelm tuned signature;
23 months ago wenzelm clarified signature: more robust operations;
23 months ago wenzelm tuned;
23 months ago wenzelm tuned;
23 months ago wenzelm more operations;
23 months ago wenzelm clarified signature: more operations;
23 months ago wenzelm clarified signature;
23 months ago wenzelm clarified signature: more robust (see also cf2ef4be3630);
23 months ago wenzelm unused (see also 7b318273a4aa and a1fb4d28e609);
23 months ago paulson tidying ugly proofs
23 months ago nipkow brought back [...] maplet syntax
23 months ago paulson merged
23 months ago paulson has_sum now an infix operator!!
23 months ago paulson merged
23 months ago paulson New material contributed by Manuel
(0) -30000 -10000 -3000 -1000 -300 -100 -48 +48 +100 +300 +1000 +3000 tip