4 commits

Author	SHA1	Message	Date
rhiannon morris	ccd9024861	fix header weights	2022-03-15 04:41:58 +01:00
rhiannon morris	e5d888ae01	add maude syntax	2022-03-15 04:40:25 +01:00
rhiannon morris	533efb5a31	some style stuff in lists	2021-07-25 14:49:55 +02:00
rhiannon morris	77a53e06a5	first	2021-07-25 14:49:55 +02:00