Commit Graph

2 Commits

Author SHA1 Message Date
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