Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
All
afp-repo
#26
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Failed
Changes
Summary
Abortable_Linearizable_Modules: added import of inputenc in root.tex
Abortable_Linearizable_Modules: updated ROOT
Update to thys/Abortable_Linearizable_Modules/
Changeset
6233:5dd5708e55c8
by
giuliano losa _giuliano@losa.fr_
:
Abortable_Linearizable_Modules: added import of inputenc in root.tex
The file was modified
thys/Abortable_Linearizable_Modules/document/root.tex
(diff)
Changeset
6232:6e5304dfc5bc
by
giuliano losa _giuliano@losa.fr_
:
Abortable_Linearizable_Modules: updated ROOT
The file was modified
thys/Abortable_Linearizable_Modules/ROOT
(diff)
Changeset
6231:6807ddc3c629
by
giuliano losa _giuliano@losa.fr_
:
Update to thys/Abortable_Linearizable_Modules/
The file was added
thys/Abortable_Linearizable_Modules/Consensus.thy
The file was added
thys/Abortable_Linearizable_Modules/IOA.thy
The file was added
thys/Abortable_Linearizable_Modules/Idempotence.thy
The file was added
thys/Abortable_Linearizable_Modules/RDR.thy
The file was added
thys/Abortable_Linearizable_Modules/SLin.thy
The file was added
thys/Abortable_Linearizable_Modules/Sequences.thy
The file was added
thys/Abortable_Linearizable_Modules/Simulations.thy
The file was modified
thys/Abortable_Linearizable_Modules/ROOT
(diff)
The file was modified
thys/Abortable_Linearizable_Modules/document/abstract.tex
(diff)
The file was modified
thys/Abortable_Linearizable_Modules/document/introduction.tex
(diff)
The file was modified
thys/Abortable_Linearizable_Modules/document/root.bib
(diff)
The file was modified
thys/Abortable_Linearizable_Modules/document/root.tex
(diff)
The file was removed
thys/Abortable_Linearizable_Modules/ALM.thy
The file was removed
thys/Abortable_Linearizable_Modules/CompositionCorrectness.thy
The file was removed
thys/Abortable_Linearizable_Modules/LCP.thy