Wed, 26 Jan 2022 16:49:56 +0100 removed unused parameter following f9908452b282
desharna [Wed, 26 Jan 2022 16:49:56 +0100] rev 75427
removed unused parameter following f9908452b282
Wed, 26 Jan 2022 09:46:53 +0100 treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis) draft
blanchet [Wed, 26 Jan 2022 09:46:53 +0100] rev 75426
treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis)
Tue, 25 Jan 2022 16:04:50 +0100 treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis) draft
blanchet [Tue, 25 Jan 2022 16:04:50 +0100] rev 75425
treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis)
Tue, 25 Jan 2022 14:13:33 +0000 fixed dodgy intro! attributes
paulson <lp15@cam.ac.uk> [Tue, 25 Jan 2022 14:13:33 +0000] rev 75424
fixed dodgy intro! attributes
Tue, 25 Jan 2022 09:57:44 +0100 merged
desharna [Tue, 25 Jan 2022 09:57:44 +0100] rev 75423
merged
Mon, 24 Jan 2022 21:29:37 +0100 updated to polyml-test-15c840d48c9a;
wenzelm [Mon, 24 Jan 2022 21:29:37 +0100] rev 75422
updated to polyml-test-15c840d48c9a;
Sat, 22 Jan 2022 13:00:03 +0100 some updates and clarification on Assumption.export_term;
wenzelm [Sat, 22 Jan 2022 13:00:03 +0100] rev 75421
some updates and clarification on Assumption.export_term;
Sat, 22 Jan 2022 14:33:35 +0100 optimized facts traversal in TPTP translation
desharna [Sat, 22 Jan 2022 14:33:35 +0100] rev 75420
optimized facts traversal in TPTP translation
Sat, 22 Jan 2022 14:33:35 +0100 optimized facts traversal in TPTP translation draft
desharna [Sat, 22 Jan 2022 14:33:35 +0100] rev 75419
optimized facts traversal in TPTP translation
Sat, 22 Jan 2022 14:00:36 +0100 optimized app_op_level selection in TPTP generation
desharna [Sat, 22 Jan 2022 14:00:36 +0100] rev 75418
optimized app_op_level selection in TPTP generation
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip