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 |
|