Talk:Main Page

From Isabelle Community Wiki
Jump to navigation Jump to search

Some links are version specific (containing, e.g., Isabelle2011-1, Isabelle2012, etc.). Would it somehow be possible to synchronize those automatically with the latest stable release (if this is desireable)?

  • I added the InterWiki scheme isa-current referring to the current Isabelle distribution isa-current:NEWS
Retrieved from "https://isabelle.in.tum.de/isanotes/index.php?title=Talk:Main_Page&oldid=489"