Skip to content
Jenkins
log in
Dashboard
Benedikt Seidl <benedikt.seidl@tum.de>
My Views
All
afp-repo
#1004
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
do not rely on implicit fallback to nbe for value command
avoid non-conservative code preprocessor setup altogether
Changeset
8163:803b2f3594ee
by
haftmann
:
do not rely on implicit fallback to nbe for value command
The file was modified
thys/Collections/Examples/Autoref/Coll_Test.thy
(diff)
The file was modified
thys/Collections/Examples/Autoref/ICF_Test.thy
(diff)
The file was modified
thys/Featherweight_OCL/UML_Types.thy
(diff)
The file was modified
thys/Iptables_Semantics/Primitive_Matchers/Common_Primitive_Matcher_Generic.thy
(diff)
The file was modified
thys/List-Infinite/ListInf/List2.thy
(diff)
The file was modified
thys/Propositional_Proof_Systems/MiniFormulas.thy
(diff)
The file was modified
thys/Propositional_Proof_Systems/SC_Depth.thy
(diff)
The file was modified
thys/Propositional_Proof_Systems/SC_Gentzen.thy
(diff)
The file was modified
thys/Simple_Firewall/Simple_Packet.thy
(diff)
The file was modified
thys/Vickrey_Clarke_Groves/CombinatorialAuctionExamples.thy
(diff)
Changeset
8162:7ea157337f59
by
haftmann
:
avoid non-conservative code preprocessor setup altogether
The file was modified
thys/Algebraic_Numbers/Algebraic_Number_Tests.thy
(diff)
The file was modified
thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy
(diff)
The file was modified
thys/QR_Decomposition/Examples_QR_Abstract_Symbolic.thy
(diff)
The file was modified
thys/Real_Impl/Real_Impl.thy
(diff)
The file was modified
thys/Real_Impl/Real_Unique_Impl.thy
(diff)