Split repo - Githubissues

Ayertienna / IS5

Intuitionistic S5 logic formalization

4 stars 0 forks source link

Split repo #28

Closed Ayertienna closed 12 years ago

Ayertienna commented 12 years ago

Split this repo into 3:

tex + documentation tickets --> IS5-tex
metatheory package (+ other dependencies) --> IS5-lib
rest --> rename to IS5-code

Ayertienna commented 12 years ago

this is done, except for the rename which will not happen. Also, for now the tickets will stay where they are - I see no point in splitting that as well