4 Commits (fin-dom-ran)

Author	SHA1	Message	Date
Joshua Potter	4f371ac9b8	Update for use with latest Mathlib version.	2023-11-08 00:26:03 -07:00
Joshua Potter	9dca45a997	Update to doc-gen4 commit `e859e2f`.	2023-11-07 18:36:00 -07:00
Joshua Potter	7907803093	Update to doc-gen4 commit `6abc8bb`.	2023-11-07 17:28:35 -07:00
Joshua Potter	dac45de7f2	Absort doc-gen4 into this project.	2023-05-11 07:27:25 -06:00