3 Commits

Author	SHA1	Message	Date
Sergiu Ivanov	c8cd64c5df	manual: interface to → interface for	2020-12-28 22:57:45 +01:00
Sergiu Ivanov	1dde7d6cf9	manual: Add Technical details.	2020-12-28 22:53:19 +01:00
Sergiu Ivanov	851c708998	Add manual.scrbl.	2020-12-28 22:33:40 +01:00