Skip to content
Jenkins
log in
Dashboard
Thibault Dardinier <thibault.dardinier@inf.ethz.ch>
My Views
All
afp-repo
#361
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
use full path for isabelle tool
update affoliation of lammich
Changeset
6997:5a2725345a16
by
kleing
:
use full path for isabelle tool
The file was modified
admin/testall
(diff)
Changeset
6996:46b0d922b4d2
by
lammich _lammich@in.tum.de_
:
update affoliation of lammich
The file was modified
metadata/metadata
(diff)