Commit Log
| commit | description | author | date |
|---|---|---|---|
| 5bb73a585f2c | Finish basic proving | Steve Losh | Thu, 10 Mar 2016 18:22:56 +0000 |
| 1340243d4843 | Start on the logic database | Steve Losh | Thu, 10 Mar 2016 15:14:48 +0000 |
| commit | description | author | date |
|---|---|---|---|
| 5bb73a585f2c | Finish basic proving | Steve Losh | Thu, 10 Mar 2016 18:22:56 +0000 |
| 1340243d4843 | Start on the logic database | Steve Losh | Thu, 10 Mar 2016 15:14:48 +0000 |