slipshow_version.ml
slipshow
slipshow.actions_arguments
slipshow.communication
slipshow.datafiles
slipshow.diagnosis
slipshow.highlightjs
slipshow.katex
slipshow.mermaid
slipshow.previewer
slipshow.server_assets
slipshow.slipshow_communication
slipshow.version
1 2 3 4 (* Update this on every release! *) let title = "The Lord of the Slips: The Two Editors" let number = "v0.12.0" let full = number ^ ": " ^ title
1 2 3 4
(* Update this on every release! *) let title = "The Lord of the Slips: The Two Editors" let number = "v0.12.0" let full = number ^ ": " ^ title