2021.07.27

Date	2021-07-27
Person	@KevinTung

Context and Goal

Install and test TLA, K-Framework.
Organize Meeting:2021.07.26/Ben,Kevin
Run the dev.xlp.pub to thewiki.us workflow which secures thewiki.us deployment.
Install IFrame which Jared requires and document the requirement in Application:dev.xlp.pub
Report progress and mutual review.

Namespace_Management
- Ideally, all the naming conventions should be configured here and the rules will apply to all the pages in the system.
Finish Docker Workflow and need to test by other participants.
- How to account for their testing? User feedback?
Fix the Dockerfile in [1]
- Changed the version of image to Debian:10
- Debian 10 cannot download cvc3
Found medium article [2], which connects to github[3].
- Download and try a simple tla file on dev.xlp.pub. It works.