doc-isac/README
author wneuper <Walther.Neuper@jku.at>
Mon, 01 Jan 2024 11:31:16 +0100
changeset 60789 8fa678b678e8
parent 59827 168abe8dd1e3
permissions -rw-r--r--
Doc/Specify_Phase 4: start use antiquotations from isar-ref
     1 ~~/doc-isac/README
     2 
     3 Much documentation is still in theses are found at
     4 https://isac.miraheze.org/wiki/Publications_and_Theses#Refereed_Papers
     5 
     6 In March 2020 formally checked documentation started in
     7 ~~/src/Tools/isac/Doc