Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-02-12 | separate new-theory components into a "theoryskel" directory so that new ↵ | Morgan Deters | |
files can be added to it without modifying the script. | |||
2012-02-11 | ensure using bash for new-theory script | Morgan Deters | |
2012-02-10 | script to ease creating a new theory from scratch (will go along with new ↵ | Morgan Deters | |
reference documentation) |