2013-11-12 | Morgan Deters | Fix new-theory script for new, flattened build system. | blob | commitdiff | raw |
2013-04-30 | lianah | fixed merge conflicts | blob | commitdiff | raw | diff to current |
2013-04-24 | Morgan Deters | Theory "alternates" support | blob | commitdiff | raw | diff to current |
2012-02-27 | Morgan Deters | fixes to new-theory script; resolves bug #307 | blob | commitdiff | raw | diff to current |
2012-02-12 | Morgan Deters | separate new-theory components into a "theoryskel"... | blob | commitdiff | raw | diff to current |
2012-02-11 | Morgan Deters | ensure using bash for new-theory script | blob | commitdiff | raw | diff to current |
2012-02-10 | Morgan Deters | script to ease creating a new theory from scratch ... | blob | commitdiff | raw | diff to current |