The Coq mailing list

[Houda Anoun <anoun AT labri.fr>]

Hi everybody,
I didn't find any documentation describing PCoq sources, I tried to 
study alone the sources but it was too difficult :
there is a lot of files (both in Java and Coq) and I don't know from 
which one I have to begin !! :-(
I need to use PCoq as an interface for a framework I'm realising for my 
PhD thesis, it's based
on another kind of logic (multimodal logic used in computational linguistic)
and I want to extend the technique of proof-by-pointing and also the 
different
notations to deal with this new logical system

Is there anyone who can describe me briefly the hierarchy of files in 
PCoq, the most important ones,
how the communication with Coq is done etc...I will be very very 
grateful to him
Thanks a lot in advance

Houda

--
==============================
|      Houda ANOUN           |
|         LaBRI              |
| 351 Cours de la libération |
|      33405 Talence         |
|    phone: 0540002489       |
|  e-mail 
:anoun AT labri.fr
    |
=============================