Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper check of Linux version;
  2. tuned;
  3. proper mysql user setup: avoid superuser powers in production; specific phabricator.cache-namespace, following standard cluster configuration by Phacility;
  4. support for pwgen;
  5. NEWS, CONTRIBUTORS, and documentation
  6. an extensive example for lift_bnf across quotients
  7. extension of lift_bnf to support quotient types
  8. unfold intermediate (internal) pred definitions
Changeset 71268:e2fb60756fb8 by wenzelm:
proper check of Linux version;
The file was modified src/Pure/System/linux.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71267:d5751eb5cc57 by wenzelm:
tuned;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71266:8451c86ffa85 by wenzelm:
proper mysql user setup: avoid superuser powers in production;<br>specific phabricator.cache-namespace, following standard cluster configuration by Phacility;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71265:6ca561001244 by wenzelm:
support for pwgen;
The file was modified src/Pure/System/linux.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71264:0c454a5d125d by traytel:
NEWS, CONTRIBUTORS, and documentation
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/Doc/Datatypes/Datatypes.thy (diff)
Changeset 71263:35a92ce0b94e by traytel:
an extensive example for lift_bnf across quotients
The file was addedsrc/HOL/Datatype_Examples/TLList.thy
The file was modified src/HOL/ROOT (diff)
Changeset 71262:a30278c8585f by traytel:
extension of lift_bnf to support quotient types
The file was modified src/HOL/BNF_Composition.thy (diff)
The file was modified src/HOL/Datatype_Examples/Lift_BNF.thy (diff)
The file was modified src/HOL/Library/Finite_Map.thy (diff)
The file was modified src/HOL/Lifting.thy (diff)
The file was modified src/HOL/Quotient.thy (diff)
The file was modified src/HOL/Tools/BNF/bnf_lift.ML (diff)
Changeset 71261:4765fec43414 by traytel:
unfold intermediate (internal) pred definitions
The file was modified src/HOL/Tools/BNF/bnf_comp.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_lift.ML (diff)