| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2016-08-01 | Cleanup & fix #1 | Camil Staps | 1 | -10/+9 | |
| 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