search

imandra-ai / imandra-docs

Imandra Documentation
https://docs.imandra.ai/imandra-docs/
7 stars 4 forks source link

Remove links to FIX engine docs #199

Closed mattjbray closed 11 months ago

mattjbray commented 11 months ago

Request from @ignaden

https://docs.imandra.ai/

image image
actionshrimp commented 11 months ago

This has been implemented for all sites. It's deployed for:

as these sites dont have a 'dev' equivalent.

It's also deployed on the Imandra docs-dev site, and will be put on the main https://docs.imandra.ai/imandra-docs/ when we do a release of imandra-docs - I believe that's currently blocked by the intro page being WIP on master @ignaden (as you have a follow-up PR open), but this will go out with the next imandra-docs release.