Commit Log
| commit | description | author | date |
|---|---|---|---|
| d280326feecc | Add backtracking and wildcards | Steve Losh | 2016-03-14 |
| 5ea3d706d089 | Add scratch.lisp to .hgignore. | Steve Losh | 2016-03-14 |
| 5bb73a585f2c | Finish basic proving | Steve Losh | 2016-03-10 |
| Loading... | |||
| commit | description | author | date |
|---|---|---|---|
| d280326feecc | Add backtracking and wildcards | Steve Losh | 2016-03-14 |
| 5ea3d706d089 | Add scratch.lisp to .hgignore. | Steve Losh | 2016-03-14 |
| 5bb73a585f2c | Finish basic proving | Steve Losh | 2016-03-10 |
| Loading... | |||