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