Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
Fixed a presentation error
2023-02-28, by paulson
Importation of basic group theory results, due to Jakob von Raumer from his AFP entry Jordan-Hölder Theorem
2023-02-27, by paulson
tuned whitespace;
2023-02-27, by wenzelm
tuned;
2023-02-27, by wenzelm
clarified signature, although "sql" argument is de-facto mandatory;
2023-02-27, by wenzelm
tuned;
2023-02-27, by wenzelm
proper SQL (amending 7ab9bac1ca96);
2023-02-27, by wenzelm
clarified signature: more explicit "synchronized" regions;
2023-02-27, by wenzelm
more robust interrupt handling, notably for Build_Job.terminate();
2023-02-27, by wenzelm
clarified signature: works for general Build_Job;
2023-02-27, by wenzelm
tuned;
2023-02-27, by wenzelm
clarified modules;
2023-02-27, by wenzelm
clarified signature;
2023-02-27, by wenzelm
proper log_lines, without protocol messages (amending cb3f5361fbca);
2023-02-27, by wenzelm
clarified signature;
2023-02-27, by wenzelm
tuned messages;
2023-02-27, by wenzelm
clarified error output vs. process_result stored in build_database (see also 13a0f537e232 and bff56eae3ec5);
2023-02-27, by wenzelm
clarified system option: guard for testing, until the database layout has stabilized;
2023-02-27, by wenzelm
merged
2023-02-26, by paulson
Simplified some proofs
2023-02-26, by paulson
clarified db content: avoid redundancy of historic ML_IDENTIFIER;
2023-02-26, by wenzelm
merged
2023-02-26, by wenzelm
proper filterNot, not filterNot-not;
2023-02-26, by wenzelm
option build_hostname allows to change hostname easily;
2023-02-26, by wenzelm
clarified permissions of build.db, following server.db;
2023-02-26, by wenzelm
enforce rebuild of Isabelle/ML, after various changes to build database management;
2023-02-26, by wenzelm
misc tuning and clarification: more uniform use of optional "sql" in SQL.Table.delete/select;
2023-02-26, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
2023-02-26, by wenzelm
clarified init_database vs. update_database: implicitly assume fresh "instance";
2023-02-26, by wenzelm
clarified Build_Process.Context: cover all static information;
2023-02-26, by wenzelm
tuned whitespace in generated SQL;
2023-02-26, by wenzelm
tuned: prefer typed operations;
2023-02-26, by wenzelm
clarified signature: more concise operations;
2023-02-26, by wenzelm
more robust options in "prefs" format: avoid odd control character;
2023-02-26, by wenzelm
proper settings for hostname: allow to adjust it in user space;
2023-02-26, by wenzelm
support for build database: still inactive;
2023-02-26, by wenzelm
tuned signature;
2023-02-25, by wenzelm
clarified signature: more robust operations;
2023-02-25, by wenzelm
tuned;
2023-02-24, by wenzelm
tuned;
2023-02-24, by wenzelm
more operations;
2023-02-24, by wenzelm
clarified signature: more operations;
2023-02-24, by wenzelm
clarified signature;
2023-02-24, by wenzelm
clarified signature: more robust (see also cf2ef4be3630);
2023-02-24, by wenzelm
unused (see also 7b318273a4aa and a1fb4d28e609);
2023-02-24, by wenzelm
tidying ugly proofs
2023-02-25, by paulson
brought back [...] maplet syntax
2023-02-24, by nipkow
merged
2023-02-24, by paulson
has_sum now an infix operator!!
2023-02-23, by paulson
merged
2023-02-23, by paulson
New material contributed by Manuel
2023-02-23, by paulson
Map.empty no longer output abbreviation; %_. None is shorter and requires no explanation
2023-02-23, by nipkow
added lemmas strict_subset_implies_multpDM and strict_subset_implies_multpHO
2023-02-23, by desharna
added lemma multpDM_plus_plusI[simp]
2023-02-23, by desharna
added lemmas multpDM_mono_strong and multpHO_mono_strong
2023-02-23, by desharna
merged
2023-02-22, by paulson
One new (necessary) theorem
2023-02-22, by paulson
merged
2023-02-22, by wenzelm
more operations to support management of jobs, e.g. from external database;
2023-02-22, by wenzelm
more uniform operations;
2023-02-22, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip