Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more precise NEWS and CONTRIBUTORS
  2. basic documentation for computations
Changeset 65042:956ea00a162a by haftmann:
more precise NEWS and CONTRIBUTORS
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 65041:2525e680f94f by haftmann:
basic documentation for computations
The file was addedsrc/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)