Contributions de Raffalli
Aller à la navigation
Aller à la recherche
17 novembre 2008
- 10:3917 novembre 2008 à 10:39 diff hist −23 ANR PML →Project management
- 10:3617 novembre 2008 à 10:36 diff hist −43 ANR PML Aucun résumé des modifications
14 novembre 2008
- 14:1214 novembre 2008 à 14:12 diff hist +54 ANR PML Aucun résumé des modifications
- 08:4414 novembre 2008 à 08:44 diff hist +45 ANR PML →Frederic Blanqui (???)
- 08:4314 novembre 2008 à 08:43 diff hist +34 ANR PML →Annexes
- 08:4214 novembre 2008 à 08:42 diff hist +300 ANR PML →Colin Riba (ENS Lyon)
- 08:4114 novembre 2008 à 08:41 diff hist +208 ANR PML →Colin Riba (ENS Lyon)
- 08:4114 novembre 2008 à 08:41 diff hist −208 ANR PML →References by non participants to the project
- 08:4114 novembre 2008 à 08:41 diff hist +5 ANR PML →Christophe Raffalli (project coordinator)
- 08:4114 novembre 2008 à 08:41 diff hist +36 ANR PML →References
- 08:3814 novembre 2008 à 08:38 diff hist +55 ANR PML →Frederic Blanqui (???)
- 08:3514 novembre 2008 à 08:35 diff hist −2 ANR PML →Pascal Manoury (LIAFA, Paris 6)
- 08:3414 novembre 2008 à 08:34 diff hist +441 ANR PML →Frederic Blanqui
- 08:2914 novembre 2008 à 08:29 diff hist +22 ANR PML →Christophe Raffalli
- 08:2814 novembre 2008 à 08:28 diff hist +2 ANR PML →Frederic Blanqui
- 08:2814 novembre 2008 à 08:28 diff hist +2 ANR PML →Christophe Raffalli
- 08:2814 novembre 2008 à 08:28 diff hist +52 ANR PML →CV, Resume
- 08:2714 novembre 2008 à 08:27 diff hist +478 ANR PML →Task 5 - validation
- 08:2114 novembre 2008 à 08:21 diff hist +507 ANR PML →Task 4 - equational reasonning
- 08:1614 novembre 2008 à 08:16 diff hist −554 ANR PML →Data management, data sharing, intellectual property and results exploitation
- 08:1214 novembre 2008 à 08:12 diff hist +21 ANR PML →Planning of tasks, deliverables and milestones
- 08:1014 novembre 2008 à 08:10 diff hist +44 ANR PML →Task 4 - equational reasonning
- 08:0914 novembre 2008 à 08:09 diff hist +1 ANR PML →Task 3 - compilation
- 08:0914 novembre 2008 à 08:09 diff hist 0 ANR PML →Task 1 - theoretical work, design of the language
- 08:0914 novembre 2008 à 08:09 diff hist +102 ANR PML →Task 3 - compilation
- 08:0314 novembre 2008 à 08:03 diff hist +1 ANR PML →Task 1 - theoretical work, design of the language
- 08:0314 novembre 2008 à 08:03 diff hist +1 ANR PML →Task 1 - theoretical work, design of the language
- 08:0314 novembre 2008 à 08:03 diff hist +87 ANR PML →Task 1 - theoretical work, design of the language
- 07:5914 novembre 2008 à 07:59 diff hist +142 ANR PML →Liste des participants
- 07:5314 novembre 2008 à 07:53 diff hist +2 ANR PML →Liste des participants
- 07:5314 novembre 2008 à 07:53 diff hist 0 ANR PML Aucun résumé des modifications
- 07:5214 novembre 2008 à 07:52 diff hist +214 ANR PML →Proof assistant
13 novembre 2008
- 16:5713 novembre 2008 à 16:57 diff hist +64 ANR PML →Liste des participants
- 08:2513 novembre 2008 à 08:25 diff hist +2 202 ANR PML →Proof assistant
- 08:0313 novembre 2008 à 08:03 diff hist −61 ANR PML →Programming language
12 novembre 2008
- 22:1112 novembre 2008 à 22:11 diff hist −5 MATH304 : Mathématiques pour les sciences III Aucun résumé des modifications actuelle
- 22:1012 novembre 2008 à 22:10 diff hist +31 MATH304 : Mathématiques pour les sciences III Aucun résumé des modifications
- 22:1012 novembre 2008 à 22:10 diff hist +89 MATH304 : Mathématiques pour les sciences III Aucun résumé des modifications
- 20:2512 novembre 2008 à 20:25 diff hist +637 ANR PML →Scientific justification of requested budget
- 20:1612 novembre 2008 à 20:16 diff hist 0 ANR PML →Contribution and qualification od each project participant
- 20:1512 novembre 2008 à 20:15 diff hist −1 ANR PML →Task 2 - termination criterion
- 20:1512 novembre 2008 à 20:15 diff hist +54 ANR PML →Rationale highlighting the originality and novelty of the proposal
- 20:1412 novembre 2008 à 20:14 diff hist +9 ANR PML →Programming language
- 20:0912 novembre 2008 à 20:09 diff hist +918 ANR PML →Programming language
- 20:0212 novembre 2008 à 20:02 diff hist +222 ANR PML →Programming language
- 16:2712 novembre 2008 à 16:27 diff hist −22 ANR PML →Scientific programme, specific aims of the proposal
- 16:2712 novembre 2008 à 16:27 diff hist +38 ANR PML →Scientific programme, specific aims of the proposal
- 16:2612 novembre 2008 à 16:26 diff hist +60 ANR PML →Detailed description of the work organised by tasks
- 16:2312 novembre 2008 à 16:23 diff hist +24 ANR PML →Task 1 - theoretical work
- 16:2212 novembre 2008 à 16:22 diff hist +162 ANR PML Aucun résumé des modifications