Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. dedicated append function for string literals
  2. avoid String.implode for bare literals
Changeset 8948:1823d8d10be1 by haftmann:
dedicated append function for string literals
The file was modified thys/JinjaThreads/Basic/Auxiliary.thy (diff)
The file was modified thys/JinjaThreads/Compiler/Compiler1.thy (diff)
The file was modified thys/JinjaThreads/Execute/Java2Jinja.thy (diff)
The file was modified thys/JinjaThreads/Execute/ToString.thy (diff)
The file was modified thys/Promela/PromelaDatastructures.thy (diff)
Changeset 8947:25dbf3de2193 by haftmann:
avoid String.implode for bare literals
The file was modified thys/Affine_Arithmetic/Ex_Ineqs.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Lorenz/Lorenz_Approximation.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Numerics/Example_Utilities.thy (diff)
The file was modified thys/Taylor_Models/Experiments.thy (diff)