| summaryrefslogtreecommitdiff |
| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Prepares for solution printing... | nsensfel | 7 years | |
| Age | Commit message | Author | ||
| 2018-05-31 | Prepares for solution printing...HEADmaster | nsensfel | ||
| 2018-05-31 | Adds a way to find the string matching an element. | nsensfel | ||
| 2018-05-30 | Merge branch 'master' of dreamhost:~/repositories/git/hastabel | Nathanael Sensfelder | ||
| 2018-05-30 | Might fix the missing 'is_in_path' issues. | Nathanael Sensfelder | ||
| 2018-05-30 | (forall ... (and ...)) -> (forall ... (implies ...)) | nsensfel | ||
| 2018-05-29 | Should fix missing relevant signatures. | nsensfel | ||
| 2018-05-29 | Trying (and failing) to use the async FF prop. | nsensfel | ||
| 2018-05-28 | Signature aren't just collections, they're lists. | nsensfel | ||
| 2018-05-26 | Fixes some toString... | Nathanael Sensfelder | ||
| 2018-05-26 | Adds some toString and equals. | Nathanael Sensfelder | ||
| [...] | ||||