QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

restructure doc files for readTheDocs #773

Closed
zxq9 wants to merge 9 commits from github/fork/nikita-fuchs/lima into lima
pull from: github/fork/nikita-fuchs/lima
merge into: QPQ-AG:lima
Conversation 32 Commits 9 Files Changed 10 +3
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 7ad6f57a8d - Show all commits

1
.gitignore vendored
View File

@ -21,3 +21,4 @@ rebar3.crashdump
aesophia
.qcci
current_counterexample.eqc
.history

2
docs/sophia.md
View File

@ -1,3 +1,5 @@
<!-- IMPORTANT: This file shall temporarily remain as an internal reference for the transformation of the doc into the format favored by readthedocs and will be removed soon. For the actual documentation, see https://aeternity-sophia.readthedocs.io/-->
<!-- IMPORTANT: REMEMBER TO UPDATE THE TABLE OF CONTENTS AFTER YOUR EDIT -->
**Table of Contents**