Documentation page is missing the latest version

Gbury / dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

BSD 2-Clause "Simplified" License

80 stars 17 forks source link

Documentation page is missing the latest version #223

Open TDacik opened 3 weeks ago

TDacik commented 3 weeks ago

The page linked from README is missing versions 0.9 and 0.10.

Gbury commented 3 weeks ago

oops, let me fix that

Gbury commented 3 weeks ago

Actually, now that ocaml.org produces and hosts packages's documentation (e.g, see https://ocaml.org/p/dolmen/latest/doc/index.html for the doc of the main dolmen package), maybe the link should simply redirect to that page ?

TDacik commented 2 weeks ago

I forgot about this. I also think that it is sufficient to have the documentation on the ocaml website.