Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper Unix line endings;
  2. eliminated suspicious Unicode;
Changeset 6481:690f6f01cacc by wenzelm:
proper Unix line endings;
The file was modified thys/Timed_Automata/DBM.thy (diff)
The file was modified thys/Timed_Automata/DBM_Basics.thy (diff)
The file was modified thys/Timed_Automata/DBM_Normalization.thy (diff)
The file was modified thys/Timed_Automata/DBM_Operations.thy (diff)
The file was modified thys/Timed_Automata/DBM_Zone_Semantics.thy (diff)
The file was modified thys/Timed_Automata/Floyd_Warshall.thy (diff)
The file was modified thys/Timed_Automata/Normalized_Zone_Semantics.thy (diff)
The file was modified thys/Timed_Automata/Timed_Automata.thy (diff)
Changeset 6480:51d6d788f3e8 by wenzelm:
eliminated suspicious Unicode;
The file was modified thys/Cartan_FP/Cartan.thy (diff)