Remove deprecated cli options and preludes

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

132 stars 33 forks source link

Closed Halbaroth closed 2 weeks ago

Halbaroth commented 3 weeks ago

This PR removes some deprecated features in v2.6.0.

Halbaroth commented 2 weeks ago

Oups I forgot it :) It is done.