Summary
- more precise NEWS and CONTRIBUTORS
- basic documentation for computations
The file was modified | CONTRIBUTORS (diff) |
The file was modified | NEWS (diff) |
The file was added | src/Doc/Codegen/Computations.thy |
The file was modified | CONTRIBUTORS (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/Codegen/Adaptation.thy (diff) |
The file was modified | src/Doc/Codegen/Evaluation.thy (diff) |
The file was modified | src/Doc/Codegen/Further.thy (diff) |
The file was modified | src/Doc/Codegen/document/root.tex (diff) |
The file was modified | src/Doc/Codegen/document/style.sty (diff) |
The file was modified | src/Doc/ROOT (diff) |