21 commits

Author	SHA1	Message	Date
Graham Nelson	7974df5af2	Tidied typos	2022-04-30 22:32:10 +01:00
Graham Nelson	3ea9ce725f	Second attempt to reconcile links	2022-04-28 17:37:28 +01:00
Graham Nelson	e3ca7dd3c1	Possible fix for navigation link issue between inform and inweb/intest	2022-04-28 17:20:06 +01:00
Graham Nelson	99c7394e81	Modernised inform.mkscript	2022-04-25 16:44:43 +01:00
Graham Nelson	a1aa7642e9	Documented and rounded out some debugging features	2022-04-18 15:46:46 +01:00
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	32dc947b8e	Migrated Ev element	2021-06-05 10:47:52 +01:00
Graham Nelson	c2e20f19ee	Completed refactor of internal test runner	2021-05-20 12:08:24 +01:00
Graham Nelson	ee39beb662	Cosmetic improvements	2021-03-30 10:50:04 +01:00
Graham Nelson	7c27b94542	Finally completed draft of imperative definitions	2021-03-29 22:53:01 +01:00
Graham Nelson	1f14f0b155	Imperative definition families	2021-03-25 23:20:37 +00:00
Graham Nelson	6fa43d8caa	Improved tables and equations	2021-02-07 12:44:02 +00:00
Graham Nelson	b4a6775fa6	Reorganised the values module	2021-02-06 18:00:34 +00:00
Graham Nelson	43bbcdbaf4	Completed assertions module	2021-02-05 00:15:21 +00:00
Graham Nelson	180d254ca7	Tidying up calculus module	2020-09-02 23:24:10 +01:00
Graham Nelson	515b130748	Pared calculus module down to essential predicates only	2020-08-29 09:33:21 +01:00
Graham Nelson	c4ae8922c2	Further reorganisation	2020-08-26 23:12:58 +01:00
Graham Nelson	dfcc5ee277	Completed fragmentation	2020-08-26 10:52:50 +01:00
Graham Nelson	67cb9a9f1e	Began fragmentation of the core	2020-08-25 22:27:06 +01:00