Browse thread
Re: Images en Caml
- Gerard Huet
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 1997-03-28 (15:03) |
From: | Gerard Huet <Gerard.Huet@i...> |
Subject: | Re: Images en Caml |
On pourrait effectivement faire un fond d'ecran avec Coq montrant une petite preuve sous CTCoq avec une fenetre faisnt le pretty-print de la preuve en francais. Soit sur une appli a Ledinot soit sur un bout de specif C-SET (Bolignano - avec un petit cocorico sur Commerce Electronique et caml au secours du oueb ;-) soit reprendre ma vieille demo du tour de carte pour avoir qq couleurs. Yves (Bertot), es tu a l'ecoute? Gerard Huet