User manual #23

Merged

HEL merged 11 commits from feat/manual into main 2026-06-30 14:11:45 +00:00

Conversation 0 Commits 11 Files Changed 4

+1137

11 Commits

Author	SHA1	Message	Date
HEL	6a0401833c	feat(manual): add strings to midas syntax def	2026-06-30 14:10:32 +02:00
HEL	e15607b763	fix(manual): end syntax highlighting of extend body	2026-06-30 14:03:42 +02:00
HEL	e28f324a85	fix(manual): typos	2026-06-28 22:30:09 +02:00
HEL	31e696c938	feat(manual): add listings outline and tweak template	2026-06-28 22:28:13 +02:00
HEL	759b416bf3	feat(manual): wrap all code in figures	2026-06-28 22:20:15 +02:00
HEL	4b2b0fe476	feat(manual): document supported Python syntax	2026-06-28 21:41:39 +02:00
HEL	4c39504750	feat(manual): document predicate and constraints	2026-06-28 14:12:41 +02:00
HEL	f9f3ade6c7	feat(manual): document type statement	2026-06-28 12:37:44 +02:00
HEL	386018b956	feat(manual): add sublime syntax for Midas	2026-06-28 12:36:02 +02:00
HEL	bd47d33355	feat(manual): complete introduction and quick start	2026-06-26 17:52:54 +02:00
HEL	93ddb28802	docs: setup user manual	2026-06-24 15:53:52 +02:00