Creating a separate package for Latex.* and Logic.*

unitb / literate-unitb-complete

Verifier for Unit-B -- Alpha-stage software. Please don't post to HN or Reddit

https://unitb.github.io/

0 stars 1 forks source link

Closed bandali0 closed 7 years ago

bandali0 commented 7 years ago

From literate-unitb created by aminb : unitb/literate-unitb#4

Originally reported by: Simon Hudon (Bitbucket: cipher2048, GitHub: Unknown)

bandali0 commented 7 years ago

Original comment by Amin Bandali (Bitbucket: aminb, GitHub: aminb):

TODO:

~~Make Theories.* a submodule of Logic~~ (Done)
~~Move Latex.* into separate literate-unitb-latex package~~ (Done)
~~Divide Logic.Expr.QuasiQuote into Logic.QuasiQuote and UnitB.QuasiQuote so that we don't depend on UnitB in Logic after separating pacakges.~~ (Done)
~~Move Logic. and Z3. into separate literate-unitb-logic package~~ (Done)

bandali0 commented 7 years ago

Original comment by Amin Bandali (Bitbucket: aminb, GitHub: aminb):

Pull request #12