Summary
- updated for release;
- Added tag Isabelle2021-1-RC0 for changeset fedc0b659881
The file was modified | src/Tools/jEdit/jedit_main/plugin.props (diff) |
The file was modified | .hgtags (diff) |
The file was modified | src/Tools/jEdit/jedit_main/plugin.props (diff) |
The file was modified | .hgtags (diff) |