Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
afp-repo
#925
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
eliminated obsolete print mode;
more parallel build;
obsolete;
cleanup;
proper print mode;
cleanup;
discontinued obsolete print mode;
tuned whitespace;
discontinued obsolete print mode;
tuned whitespace;
discontinued obsolete print mode;
Changeset
7988:5d8dd85b24e0
by
wenzelm
:
eliminated obsolete print mode;
The file was modified
thys/Security_Protocol_Refinement/Auth_simple/m3_sig.thy
(diff)
The file was modified
thys/Security_Protocol_Refinement/Key_establish/m3_ds.thy
(diff)
The file was modified
thys/Security_Protocol_Refinement/Key_establish/m3_ds_par.thy
(diff)
The file was modified
thys/Security_Protocol_Refinement/Key_establish/m3_kerberos4.thy
(diff)
The file was modified
thys/Security_Protocol_Refinement/Key_establish/m3_kerberos5.thy
(diff)
The file was modified
thys/Security_Protocol_Refinement/Key_establish/m3_kerberos_par.thy
(diff)
The file was modified
thys/Security_Protocol_Refinement/Key_establish/m3_nssk.thy
(diff)
The file was modified
thys/Security_Protocol_Refinement/Key_establish/m3_nssk_par.thy
(diff)
The file was modified
thys/Security_Protocol_Refinement/Refinement/Message.thy
(diff)
Changeset
7987:760ac5157372
by
wenzelm
:
more parallel build;
The file was modified
thys/Security_Protocol_Refinement/ROOT
(diff)
Changeset
7986:0eda4a2b1e6b
by
wenzelm
:
obsolete;
The file was modified
thys/Key_Agreement_Strong_Adversaries/Messages.thy
(diff)
Changeset
7985:d486326495f5
by
wenzelm
:
cleanup;
The file was modified
thys/Key_Agreement_Strong_Adversaries/ROOT
(diff)
The file was modified
thys/Security_Protocol_Refinement/ROOT
(diff)
Changeset
7984:5dd0c0366a69
by
wenzelm
:
proper print mode;
The file was modified
thys/Concurrent_Ref_Alg/Refinement_Lattice.thy
(diff)
Changeset
7983:b39c252968d7
by
wenzelm
:
cleanup;
The file was modified
thys/Concurrent_Ref_Alg/ROOT
(diff)
Changeset
7982:3cd853f843d1
by
wenzelm
:
discontinued obsolete print mode;
The file was modified
thys/Stone_Relation_Algebras/Matrix_Relation_Algebras.thy
(diff)
Changeset
7981:b5878acc3ba7
by
wenzelm
:
tuned whitespace;
The file was modified
thys/Stone_Algebras/ROOT
(diff)
Changeset
7980:a20849cfe8f4
by
wenzelm
:
discontinued obsolete print mode;
The file was modified
thys/SPARCv8/lib/wp/DetMonad.thy
(diff)
The file was modified
thys/SPARCv8/lib/wp/DetMonadLemmas.thy
(diff)
Changeset
7979:9d7217a03971
by
wenzelm
:
tuned whitespace;
The file was modified
thys/Stone_Relation_Algebras/ROOT
(diff)
Changeset
7978:20e5defcf389
by
wenzelm
:
discontinued obsolete print mode;
The file was modified
thys/UPF/ElementaryPolicies.thy
(diff)
The file was modified
thys/UPF/Monads.thy
(diff)
The file was modified
thys/UPF/SeqComposition.thy
(diff)
The file was modified
thys/UPF/UPFCore.thy
(diff)