2 commits

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