3 Commits

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