Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- fix Shivers-CFA entry
The file was modified | thys/Shivers-CFA/Computability.thy |
Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- updated to jedit-5.4.0;
- misc tuning and modernization;
- clarified signature: rowid is specific to SQLite;
- proper primary key;
- more general primary_key;
- tuned;
- more operations;
- tuned;
- proper SQL syntax (according of PostgreSQL);
- access table via session_name: db may in principle contain multiple entries;
- more operations;
- eliminated somewhat redundant inlined name (despite a7aa17a1f721);