Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
isabelle-repo
#717
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
corrected static scope: multi-argument composition does not apply partially
Changeset
64928:18a6b96f8b00
by
haftmann
:
corrected static scope: multi-argument composition does not apply partially
The file was modified
src/Tools/Code/code_runtime.ML
(diff)