Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. more robust and more portable, notably for Windows;
Changeset 14319:29314eac2682 by wenzelm:
more robust and more portable, notably for Windows;
The file was modified thys/Hello_World/RunningCodeFromIsabelle.thy