4 Commits

Include renames

Author	SHA1	Message	Date
Dave Mc Nicoll	1f341d6781	- WIP on lean's api JS console	2025-02-10 23:01:56 +00:00
Dave Mc Nicoll	899dd1a4d4	- Added class fullname instead of classname	2024-11-11 20:56:31 +00:00
Dave Mc Nicoll	e1175f7273	- Change a bit form's coloring scheme	2024-11-11 20:02:21 +00:00
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