Commit Graph

7 Commits

Author SHA1 Message Date
Sergiu Ivanov bfa5509d09 Reword the section on bug reporting. 2021-10-10 17:35:06 +02:00
Sergiu Ivanov 9a1756d956 State plainly that this typed interface is incomplete. 2021-10-10 17:30:21 +02:00
Sergiu Ivanov 81ff2d5432 Add a reminder to list the functions the library exports. 2021-08-06 00:16:48 +02:00
Sergiu Ivanov c45a9f829c Say that vertex and edge properties are not supported. 2021-08-06 00:06:34 +02:00
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