Contributions de Raffalli
Aller à la navigation
Aller à la recherche
19 novembre 2008
- 20:5919 novembre 2008 à 20:59 diff hist −9 ANR PML →Pierre Weis (INRIA, Rocquencourt)
- 20:5819 novembre 2008 à 20:58 diff hist +192 ANR PML →Pierre Weis (INRIA, Rocquencourt)
- 20:5419 novembre 2008 à 20:54 diff hist +132 ANR PML →Pierre Weis (INRIA, Rocquencourt)
- 20:4719 novembre 2008 à 20:47 diff hist +557 ANR PML →Colin Riba (ENS Lyon)
- 20:4219 novembre 2008 à 20:42 diff hist +1 ANR PML →Relevant publications by non participants to the project
- 20:4119 novembre 2008 à 20:41 diff hist −22 ANR PML →Task 5 - validation (transversal task)
- 20:4019 novembre 2008 à 20:40 diff hist 0 ANR PML →Task 4 - equational reasoning
- 20:3919 novembre 2008 à 20:39 diff hist 0 ANR PML →Task 3 - compilation
- 20:3819 novembre 2008 à 20:38 diff hist −17 ANR PML →Task 2 - termination criterion
- 20:3719 novembre 2008 à 20:37 diff hist +29 ANR PML →Task 2 - termination criterion
- 20:3619 novembre 2008 à 20:36 diff hist +12 ANR PML →Task 1 - theoretical work, design of the language
- 17:5619 novembre 2008 à 17:56 diff hist +34 ANR PML →Scientific justification of requested budget
- 17:5119 novembre 2008 à 17:51 diff hist 0 N Fichier:Task repartion.png Aucun résumé des modifications actuelle
- 17:4519 novembre 2008 à 17:45 diff hist +23 ANR PML →Scientific justification of requested budget
- 17:4219 novembre 2008 à 17:42 diff hist −21 366 ANR PML →Scientific justification of requested budget
- 17:4019 novembre 2008 à 17:40 diff hist +21 434 ANR PML →Scientific justification of requested budget
- 16:1919 novembre 2008 à 16:19 diff hist +240 N Discussion:ANR PML Aucun résumé des modifications
- 16:0619 novembre 2008 à 16:06 diff hist 0 ANR PML →Planning of tasks, deliverables and milestones
- 16:0319 novembre 2008 à 16:03 diff hist 0 ANR PML →Planning of tasks, deliverables and milestones
- 16:0219 novembre 2008 à 16:02 diff hist +5 ANR PML →Planning of tasks, deliverables and milestones
- 16:0119 novembre 2008 à 16:01 diff hist 0 ANR PML →Planning of tasks, deliverables and milestones
- 16:0119 novembre 2008 à 16:01 diff hist +12 ANR PML →Planning of tasks, deliverables and milestones
- 16:0119 novembre 2008 à 16:01 diff hist +1 ANR PML →Planning of tasks, deliverables and milestones
- 15:5919 novembre 2008 à 15:59 diff hist +5 ANR PML →Planning of tasks, deliverables and milestones
- 14:3319 novembre 2008 à 14:33 diff hist +2 ANR PML →Task 1 - theoretical work, design of the language
- 14:3219 novembre 2008 à 14:32 diff hist +4 ANR PML →Context and positioning of the proposal
- 14:2619 novembre 2008 à 14:26 diff hist +111 ANR PML →Christophe Raffalli (project coordinator)
- 14:1619 novembre 2008 à 14:16 diff hist +1 759 ANR PML →Christophe Raffalli (project coordinator)
- 13:3919 novembre 2008 à 13:39 diff hist −1 ANR PML →Task 1 - theoretical work, design of the language
- 13:3919 novembre 2008 à 13:39 diff hist +270 ANR PML →Task 1 - theoretical work, design of the language
- 13:3719 novembre 2008 à 13:37 diff hist +39 ANR PML →Task 4 - equational reasoning
- 13:3519 novembre 2008 à 13:35 diff hist 0 ANR PML →Task 4 - equational reasoning
- 13:3419 novembre 2008 à 13:34 diff hist +178 ANR PML →Task 3 - compilation
- 13:2919 novembre 2008 à 13:29 diff hist +50 ANR PML →Context and positioning of the proposal
- 13:2519 novembre 2008 à 13:25 diff hist +1 ANR PML →Frederic Blanqui (INRIA, Rocquencourt and LIAMA Beijing in 2009-2012)
- 13:2419 novembre 2008 à 13:24 diff hist 0 ANR PML →Frederic Blanqui (INRIA, Rocquencourt and LIAMA Beijing in 2009-2010)
- 13:1219 novembre 2008 à 13:12 diff hist +401 ANR PML →Scientific justification of requested budget
- 08:5119 novembre 2008 à 08:51 diff hist +111 ANR PML →Scientific justification of requested budget
- 08:4419 novembre 2008 à 08:44 diff hist +89 ANR PML →Task 5 - validation (transversal task)
- 08:4319 novembre 2008 à 08:43 diff hist +12 ANR PML →Task 4 - equational reasoning
- 08:4219 novembre 2008 à 08:42 diff hist +17 ANR PML →Task 3 - compilation
- 08:4119 novembre 2008 à 08:41 diff hist −17 ANR PML →Task 2 - termination criterion
- 08:4019 novembre 2008 à 08:40 diff hist −21 ANR PML →Task 2 - termination criterion
- 08:4019 novembre 2008 à 08:40 diff hist +8 ANR PML →Task 2 - termination criterion
- 00:0219 novembre 2008 à 00:02 diff hist −1 282 ANR PML Aucun résumé des modifications
18 novembre 2008
- 23:5318 novembre 2008 à 23:53 diff hist −19 ANR PML →Task 2 - termination criterion
- 23:5018 novembre 2008 à 23:50 diff hist +163 ANR PML →Christophe Raffalli (project coordinator)
- 23:4718 novembre 2008 à 23:47 diff hist +619 ANR PML →Christophe Raffalli (project coordinator)
- 23:3918 novembre 2008 à 23:39 diff hist +22 ANR PML →Christophe Raffalli (project coordinator)
- 23:3818 novembre 2008 à 23:38 diff hist +19 ANR PML →Christophe Raffalli (project coordinator)