| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2015-07-04 | Bugfix logicparser | Camil Staps | 1 | -1/+1 |
| 2015-07-03 | Limit on number of atoms | Camil Staps | 1 | -2/+3 |
| 2015-07-03 | Latex & Html output options | Camil Staps | 1 | -5/+11 |
| 2015-07-03 | Improved parser | Camil Staps | 1 | -2/+5 |
| 2015-07-03 | Parser; cleanup | Camil Staps | 1 | -0/+34 |
| 2015-07-03 | Cleanup | Camil Staps | 1 | -33/+0 |
| 2015-07-03 | Truth tables | Camil Staps | 1 | -4/+19 |
| 2015-07-03 | Types, toString | Camil Staps | 1 | -0/+18 |
 |
index : logic | |
| Logic toolbox in Clean |
| aboutsummaryrefslogtreecommitdiff |
path: root/LogicParser.icl