Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated for release;
  2. Added tag Isabelle2021-1-RC0 for changeset fedc0b659881
Changeset 74431:75d14ac0547e by wenzelm:
updated for release;
The file was modified src/Tools/jEdit/jedit_main/plugin.props (diff)
Changeset 74430:43d39f335cfc by isatest:
Added tag Isabelle2021-1-RC0 for changeset fedc0b659881
The file was modified .hgtags (diff)