6 Commits

Include renames

Author	SHA1	Message	Date
Mael	0ff7882997	Merge branch 'master' into feature/bug_documentation_spell_20221113	2022-12-06 22:21:06 +01:00
Mael Rouxel-Labbé	b5c21e1f5d	Http -> https + update some dead links	2022-11-23 18:54:37 +01:00
albert-github	45478184de	spelling corrections ... Some spelling corrections (Directories starting with `E`-` L`), some backward work some forward work	2022-11-15 13:39:40 +01:00
Sébastien Loriot	a89ccb10e7	remove non UTF-8 characters	2017-01-19 15:20:26 +01:00
Sébastien Loriot	01865a2765	move unused header file to archive	2016-10-06 09:53:38 +02:00
Sylvain Pion	0cd41b2bdf	Rename Interval_arithmetic package to Filtered_kernel.	2006-07-12 13:06:10 +00:00