7 commits

Author	SHA1	Message	Date
Graham Nelson	45b53fca22	Fix for Mantis bug 2087	2022-04-07 10:43:01 +01:00
Graham Nelson	cba72a3537	Improved source website	2022-04-04 18:31:44 +01:00
Graham Nelson	c2b1504318	Divided codegen module into new modules pipeline and final	2021-08-10 11:01:03 +01:00
Graham Nelson	27787a3473	Divided up and simplified kind compilation	2021-05-15 23:31:42 +01:00
Graham Nelson	2c0d5c6dda	Added redundant operations optimisation	2021-04-11 12:29:07 +01:00
Graham Nelson	c471ee140e	Started in on compiling propositions	2021-04-09 10:09:44 +01:00
Graham Nelson	7c27b94542	Finally completed draft of imperative definitions	2021-03-29 22:53:01 +01:00

Renamed from docs/assertions-module/7-kpr.html (Browse further)