Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
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
walther@59827 
     1
 
~~/doc-isac/README
walther@59827 
     2
 






walther@59827


     3


Much documentation is still in theses are found at







walther@59827


     4


https://isac.miraheze.org/wiki/Publications_and_Theses#Refereed_Papers







walther@59827


     5








walther@59827


     6


In March 2020 formally checked documentation started in







walther@59827


     7


~~/src/Tools/isac/Doc












wneuper/isa