Dave Mc Nicoll 6b655bdc76 - Work done to clarify a bit every section, and a hugh code refractoring also was made to the code base.		2024-11-11 19:54:22 +00:00
..
lean/layout	- Work done to clarify a bit every section, and a hugh code refractoring also was made to the code base.	2024-11-11 19:54:22 +00:00
lean-api	- Work done to clarify a bit every section, and a hugh code refractoring also was made to the code base.	2024-11-11 19:54:22 +00:00