Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. WebAssembly: fix OCaml code generation
Changeset 9156:8c085909633b by conrad-watt _cnrdwtt@gmail.com_:
WebAssembly: fix OCaml code generation
The file was modified thys/WebAssembly/Wasm_Printing/Wasm_Interpreter_Printing_Pure.thy (diff)
The file was modified thys/WebAssembly/Wasm_Printing/Wasm_Printing.thy (diff)