Ivan I. Ovchinnikov 5c676c0a0e first draft from devtask		2022-08-12 23:32:35 +03:00
..
j-spec.pdf	first draft from devtask	2022-08-12 23:32:35 +03:00
prog-draft.pdf	first draft from devtask	2022-08-12 23:32:35 +03:00