1. f049a76 A few comments and very minor fixes by Axel Colin de Verdiere · 13 years ago
  2. f3d8f69 Uncomitted stuff from the previous commit by Meki Cherkaoui · 13 years ago
  3. f441d3a First Commit after cleanup by Meki Cherkaoui · 13 years ago