| Version |
Note |
Size |
Editor |
Time |
|
|
separate left and right identities |
40722 |
Bill Page |
2017/02/05 21:05:15 GMT+0 |
|
|
separate left and right identities |
40720 |
Bill Page |
2017/02/05 21:03:29 GMT+0 |
|
|
add proper description |
40201 |
Bill Page |
2017/02/04 01:51:40 GMT+0 |
|
|
add proper description |
40201 |
Bill Page |
2017/02/04 01:50:20 GMT+0 |
|
|
add proper description |
40146 |
Bill Page |
2017/02/03 20:49:30 GMT+0 |
|
|
formatting non-associative expressions |
39676 |
Bill Page |
2017/02/03 18:12:55 GMT+0 |
|
|
pattern matching |
39307 |
Bill Page |
2017/02/03 14:53:28 GMT+0 |
|
|
fix sort sequence |
32494 |
Bill Page |
2017/01/26 17:37:37 GMT+0 |
|
|
Still a few problems |
32215 |
Bill Page |
2016/12/24 17:12:59 GMT+0 |