5 Commits

Author	SHA1	Message	Date
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Marco Maggesi	ff1ed720e2	Rename z77z into maggesi ... Make the "handle" of the maintainer match the name of the github account. Also update the email address.	2019-10-07 17:05:25 +02:00
volth	c814d72b51	treewide: name -> pname	2019-08-17 10:54:38 +00:00
Ryan Mulligan	1d54dc6841	treewide: http -> https	2018-06-29 17:18:27 -07:00
Gabriel Ebner	795c003359	isabelle: use polyml 5.6 ... Isabelle 2016 does not work with newer PolyML versions.	2017-08-07 17:21:08 +02:00