Commit Graph

14 Commits

Author SHA1 Message Date
Sergiu Ivanov c6f1a156a6 manual: Add Matrix-Graph. 2022-01-01 17:59:49 +01:00
Sergiu Ivanov bbe6c479b3 manual: Make the documentation of Graph more vague, but less wrong. 2022-01-01 17:56:17 +01:00
Sergiu Ivanov f572d72625 manual: Add the types from Graph Constructors. 2022-01-01 16:55:25 +01:00
Sergiu Ivanov 5bb17b4c28 manual: Add the functions from Generic Graph Interface. 2022-01-01 16:42:43 +01:00
Sergiu Ivanov a8345b1920 Start listing the exported types. 2021-12-23 11:50:06 +01:00
Sergiu Ivanov c92f488fda Add some more details to the manual. 2021-12-21 22:10:30 +01:00
Sergiu Ivanov c41621dadf manual: Add a TODO about listing the exported functions. 2021-10-10 17:50:35 +02:00
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