71c1da1 | G. Grothendieck | 02 May 2022, 04:30:02 UTC | version 0.3-3 | 02 May 2022, 04:30:02 UTC |
f960238 | G. Grothendieck | 07 March 2013, 00:00:00 UTC | version 0.2 | 07 March 2013, 00:00:00 UTC |
d3b69ef | G. Grothendieck | 21 December 2012, 00:00:00 UTC | version 0.1-4 | 21 December 2012, 00:00:00 UTC |
7a23e0a | G. Grothendieck | 22 August 2010, 00:00:00 UTC | version 0.1-3 | 22 August 2010, 00:00:00 UTC |
1fc98d0 | G. Grothendieck | 06 December 2007, 00:00:00 UTC | version 0.1-2 | 06 December 2007, 00:00:00 UTC |
835757a | G. Grothendieck | 04 December 2007, 00:00:00 UTC | version 0.1-1 | 04 December 2007, 00:00:00 UTC |
9b713dd | G. Grothendieck | 04 December 2007, 00:00:00 UTC | version 0.1-0 | 04 December 2007, 00:00:00 UTC |