Search found 6 matches

by Olivier FINOT
Tue Jan 26, 2010 11:05 pm
Forum: Master Informatique
Topic: lien TP CRT
Replies: 3
Views: 9990

Re: lien TP CRT

Yep Thanks
by Olivier FINOT
Mon Dec 21, 2009 6:31 pm
Forum: Programs
Topic: DumBeX: Dumb B to LaTeX translation
Replies: 5
Views: 59809

Re: DumBeX: Dumb B to LaTeX translation

Ok, effectivement je l'avais complètement zappé celui-là lors de ma chase aux espaces autour des opérateurs et j'avais pas fait le rapprochement avec l'erreur.

Merci
by Olivier FINOT
Mon Dec 21, 2009 5:20 pm
Forum: Programs
Topic: DumBeX: Dumb B to LaTeX translation
Replies: 5
Views: 59809

Re: DumBeX: Dumb B to LaTeX translation

Salut Vincent, j'ai voulu utiliser ton DumBeX pour le rapport de projet GL de fred mais j'ai un soucis. Lorsque j'essaie de compiler le fichier obtenu j'obtiens l'erreur suivante : \verb ended by end of line , d'après ce que j'ai pu voir cela à un rapport avec verbatim, mais ne maitrisant pas ton co...
by Olivier FINOT
Wed Nov 04, 2009 8:30 pm
Forum: Miscellaneous
Topic: Curriculum Vitae with LaTeX
Replies: 6
Views: 13782

Re: Curriculum Vitae with LaTeX

Here is a more recent version of the package proposing other colours than blue and also the possibility to add a photo.
http://www.ctan.org/tex-archive/macros/ ... /moderncv/

Again for more information see the example files.
by Olivier FINOT
Wed Oct 07, 2009 9:44 am
Forum: Master Informatique
Topic: TP2 SVT
Replies: 0
Views: 7834

TP2 SVT

Voila les pdf
by Olivier FINOT
Thu Apr 16, 2009 11:40 am
Forum: Programs
Topic: Patch KeY: Export LaTeX logic proof
Replies: 7
Views: 26773

Re: Patch KeY: Export LaTeX logic proof

Si certains ont encore des problèmes pour installer la version modifiée du Key Prover sous linux, voici un HowTo rédigé par frédéric spade édit Vincent : citation du contenu du fichier (plus pratique que de le télécharger) Pour installer KeY sous linux : Ne pas mettre d'espaces dans les noms de répe...