diff --git a/_data/sites.yml b/_data/sites.yml index 1431ea9..0c0136a 100644 --- a/_data/sites.yml +++ b/_data/sites.yml @@ -4,6 +4,9 @@ - name: Imandra Core baseurl: /imandra-docs +- name: ImandraX + baseurl: /imandrax + - name: Imandra Protocol Language baseurl: /ipl