Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed obsolete RC tags;
  2. proper path;
  3. merged, resolving conflict in src/Doc/Implementation/Logic.thy;
  4. Added tag Isabelle2021-1 for changeset c2a2be496f35
  5. tuned;
  6. proper ML types (amending 1aa92bc4d356);
  7. proper types for Scala.Fun instances (amending 1aa92bc4d356);
  8. proper syntax category;
Changeset 74917:89318c9131e8 by wenzelm:
removed obsolete RC tags;
The file was modified .hgtags (diff)
Changeset 74916:79ceca45fcbc by wenzelm:
proper path;
The file was modified Admin/Release/mirror-website (diff)
Changeset 74915:cdd2284c8047 by wenzelm:
merged, resolving conflict in src/Doc/Implementation/Logic.thy;
Changeset 74914:70be57333ea1 by wenzelm:
Added tag Isabelle2021-1 for changeset c2a2be496f35
The file was modified .hgtags (diff)
Changeset 74913:c2a2be496f35 by wenzelm:
tuned;
The file was modified ANNOUNCE (diff)
Changeset 74912:c49362e85f5a by wenzelm:
proper ML types (amending 1aa92bc4d356);
The file was modified src/Doc/System/Scala.thy (diff)
Changeset 74911:74a800810bde by wenzelm:
proper types for Scala.Fun instances (amending 1aa92bc4d356);
The file was modified src/Doc/System/Scala.thy (diff)
Changeset 74910:bdaf29253394 by wenzelm:
proper syntax category;
The file was modified src/Doc/Implementation/Logic.thy (diff)