Michael Sippel 9b5dfc9cca posint example: switch between synced editors based on list of editor types		2024-09-02 00:14:10 +02:00
..
tty-01-hello	add short READMEs for examples	2024-03-21 18:17:04 +01:00
tty-02-digit	minor stuff & style	2024-09-02 00:14:09 +02:00
tty-03-string	call edittree_hook in morphisms already, add edittree() getter in ReprTreeExt to further simplify application code	2024-08-09 23:00:31 +02:00
tty-04-posint	posint example: switch between synced editors based on list of editor types	2024-09-02 00:14:10 +02:00