4 Commits

Author	SHA1	Message	Date
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