change log for P0003418 (close)
date | time | user | object | table | field | type | old | new |
---|---|---|---|---|---|---|---|---|
2022-03-09 | 2:36:09 | A.Buchanan | P0003418 | problems | soltxt | update | If w000 on, then ep is on. Distributed evidence across the two elegant solutions provides the proof. | |
2022-03-09 | 2:28:22 | A.Buchanan | P0003418 | problems | cpluscomm | update | HC+ Popeye v4.87 & simple retro-logic | |
2022-03-09 | 2:28:22 | A.Buchanan | P0003418 | problems | cplus | update | F | T |
2022-03-09 | 2:26:45 | A.Buchanan | a posteriori (AP) (Type Petrovic) | refkey | addition | update | Type Petrovic |