Skip to content
Jenkins
log in
Dashboard
afp-repo
#1214
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Failed
Changes
Summary
merge from afp-2017
don't crash if no URL for author is specified
IMAP-CRDT website (main entry)
IMAP-CRDT website
new entry IMAP-CRDT
New entry Hybrid_Multi_Lane_Spatial_Logic
Changeset
8552:ebd58961d46b
by
kleing
:
merge from afp-2017
Changeset
8551:cf040795f6aa
by
max haslbeck _max.haslbeck@gmx.de_
:
don't crash if no URL for author is specified
The file was modified
admin/sitegen-lib/metadata.py
(diff)
Changeset
8550:9fd3e6aa6ae0
by
paulson _lp15@cam.ac.uk_
:
IMAP-CRDT website (main entry)
The file was added
web/entries/IMAP-CRDT.html
Changeset
8549:07b3eaa91865
by
paulson _lp15@cam.ac.uk_
:
IMAP-CRDT website
The file was modified
metadata/metadata
(diff)
The file was modified
web/entries/CRDT.html
(diff)
The file was modified
web/index.html
(diff)
The file was modified
web/rss.xml
(diff)
The file was modified
web/statistics.html
(diff)
The file was modified
web/topics.html
(diff)
Changeset
8548:d4be82964fbc
by
paulson _lp15@cam.ac.uk_
:
new entry IMAP-CRDT
The file was added
thys/IMAP-CRDT/IMAP-def.thy
The file was added
thys/IMAP-CRDT/IMAP-proof-commute.thy
The file was added
thys/IMAP-CRDT/IMAP-proof-helpers.thy
The file was added
thys/IMAP-CRDT/IMAP-proof-independent.thy
The file was added
thys/IMAP-CRDT/IMAP-proof.thy
The file was added
thys/IMAP-CRDT/ROOT
The file was added
thys/IMAP-CRDT/document/root.bib
The file was added
thys/IMAP-CRDT/document/root.tex
The file was modified
thys/ROOTS
(diff)
Changeset
8547:743cb73b1de2
by
nipkow
:
New entry Hybrid_Multi_Lane_Spatial_Logic
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/Cars.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/HMLSL.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/Length.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/Move.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/NatInt.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/ROOT
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/RealInt.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/Restriction.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/Sensors.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/Traffic.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/Views.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/document/root.bib
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/document/root.tex
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/perfect/HMLSL_Perfect.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/perfect/Perfect_Sensors.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/perfect/Safety_Perfect.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/regular/HMLSL_Regular.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/regular/Regular_Sensors.thy
The file was added
thys/Hybrid_Multi_Lane_Spatial_Logic/regular/Safety_Regular.thy
The file was added
web/entries/Hybrid_Multi_Lane_Spatial_Logic.html
The file was modified
metadata/metadata
(diff)
The file was modified
thys/ROOTS
(diff)
The file was modified
web/index.html
(diff)
The file was modified
web/rss.xml
(diff)
The file was modified
web/statistics.html
(diff)
The file was modified
web/topics.html
(diff)