logic - Logic toolbox in Clean

Age	Commit message (Collapse)	Author	Files	Lines
2016-08-01	Makefile, gitignore	Camil Staps	2	-1/+15

2016-08-01	Cleanup & fix #1	Camil Staps	4	-272/+310

2016-03-31	Fixed issue where truth tables had too many options	Camil Staps	1	-4/+5

2016-01-17	Fixed bug where atom options were duplicated	Camil Staps	1	-1/+1

2015-10-24	Fixing last commit; parentheses chained implications	Camil Staps	1	-1/+1

2015-10-24	Bugfixes in show functions (parentheses)	Camil Staps	1	-1/+2

2015-07-06	Adhere to Clean library standards, i.e. don't import too much	Camil Staps	2	-2/+3

2015-07-04	Fix show for expressions (parentheses); allow parentheses in input	Camil Staps	2	-2/+11

2015-07-04	Readme	Camil Staps	1	-10/+14

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	Readme	Camil Staps	1	-1/+1

2015-07-03	Fix LogicTest	Camil Staps	1	-1/+1

2015-07-03	Latex & Html output options	Camil Staps	8	-62/+134

2015-07-03	Installation	Camil Staps	1	-1/+9

2015-07-03	License	Camil Staps	1	-0/+23

2015-07-03	Check for exec function	Camil Staps	1	-1/+7

2015-07-03	html+php wrapper	Camil Staps	3	-1/+130

2015-07-03	Readme	Camil Staps	1	-0/+1

2015-07-03	Merge branch 'master' of github:camilstaps/CleanLogic	Camil Staps	0	-0/+0

2015-07-03	Improved parser	Camil Staps	4	-4/+56

2015-07-03	Improved parser	Camil Staps	4	-4/+55

2015-07-03	Parser; cleanup	Camil Staps	6	-32/+166

2015-07-03	Cleanup; simple truthtable; license; readme	Camil Staps	6	-3/+223

2015-07-03	Cleanup	Camil Staps	1	-3/+2

2015-07-03	Cleanup	Camil Staps	3	-63/+3

2015-07-03	Nicer truthtables	Camil Staps	3	-22/+107

2015-07-03	Truth tables	Camil Staps	7	-8/+167

2015-07-03	Fix associativity	Camil Staps	3	-7/+40

2015-07-03	Types, toString	Camil Staps	3	-0/+157

2015-07-03	Initial commit	Camil Staps	3	-0/+30