search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
130 stars 33 forks source link

Remove deprecated flags #1205

Open Halbaroth opened 1 month ago

Halbaroth commented 1 month ago

See #1204