Skip to content
Jenkins
log in
Dashboard
isabelle-repo
#1017
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
merged
new derived targets for evaluating Haskell and Scala programs
Changeset
66285:4d722e3e870e
by
Andreas Lochbihler
:
merged
Changeset
66284:378895354604
by
Andreas Lochbihler
:
new derived targets for evaluating Haskell and Scala programs
The file was modified
src/HOL/Library/code_test.ML
(diff)