Backport specification from my PhD thesis (!2) · Merge requests · veriT / Alethe · GitLab

Snippets Groups Projects

Merged Hans-Jörg requested to merge devel/thesis-backport into master 2 years ago

Viewing commit c7b4870d

Show latest version

4 files

+ 5003

− 0

Some changes are not shown

For a faster browsing experience, some files are collapsed by default.

Files

4

c7b4870d

Backport of specification from PhD thesis · c7b4870d

Hans-Jörg authored 2 years ago

- Add backport goal to Makefile to aid work
- copy the main chapter as "spec.tex"
- copy the rules appendix as "alethe_rules.tex"
- finish adaption of source code in spec.tex

spec/Makefile

+ 3

− 0

backport:
	latexmk -pdf -pvc -interaction=nonstopmode -shell-escape -lualatex spec

comments:
	latexmk -pdf -shell-escape doc