Thread: HOL Contributors Wanted!
View Single Post
Old 16 August 2022, 20:00   #412
Aardvark
Registered User
 
Join Date: Jan 2019
Location: Finland
Posts: 635
Quote:
Originally Posted by TCD View Post
Thank you Added to HOL.
Looks to me like the addendum card is added twice, and the main manual is missing. http://hol.abime.net/1203/manual
Aardvark is offline  
 
Page generated in 0.04669 seconds with 11 queries