Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. misc tuning and clarification;
  2. tuned signature;
Changeset 73578:629868f96c81 by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/System/isabelle_process.ML
The file was modified src/Pure/System/message_channel.ML
Changeset 73577:6c8fc3c038eb by wenzelm:
tuned signature;
The file was modified src/Pure/System/isabelle_process.ML
The file was modified src/Pure/System/message_channel.ML

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. updated paper references
Changeset 11726:bf041f4c01bf by traytel:
updated paper references
The file was modified metadata/metadata
The file was modified thys/LambdaAuth/document/root.bib
The file was modified thys/LambdaAuth/document/root.tex