Fixing some broken links and adding menu entry for IsabelleTranslation#46
Draft
BookWood7th wants to merge 2 commits into
Draft
Fixing some broken links and adding menu entry for IsabelleTranslation#46BookWood7th wants to merge 2 commits into
BookWood7th wants to merge 2 commits into
The logs for this run have expired and are no longer available.
Loading