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)