search

jbdoderlein / BetterOCaml

A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it works offline!), compiled with js_of_ocaml.
https://jbdoderlein.github.io/BetterOCaml/
Apache License 2.0
38 stars 8 forks source link

Update toplevel history system #59

Closed math-gout closed 3 years ago

math-gout commented 3 years ago

Commands run from the editor are now no longer added to the toplevel history, as it tends to clutter it a lot