Search found 4 matches

by Benjamin DREUX
Wed Apr 15, 2009 3:31 pm
Forum: Programs
Topic: Patch KeY: Export LaTeX logic proof
Replies: 7
Views: 26743

Re: Patch KeY: Export LaTeX logic proof

to use this patch you will also need to use the latex package amsmath
by Benjamin DREUX
Wed Apr 15, 2009 12:30 pm
Forum: Master Informatique
Topic: utiliser une autre instalation de java dans une linux
Replies: 0
Views: 7064

utiliser une autre instalation de java dans une linux

export JAVA_HOME=/usr/lib/jvm/java-1.5.0-sun/
by Benjamin DREUX
Sun Dec 14, 2008 9:48 pm
Forum: Master Informatique
Topic: A l'intention des gens qui sont en OD
Replies: 3
Views: 6491

Re: A l'intention des gens qui sont en OD

Merci msieur

Au fait pendant que j'y suis
je tiens a tous vous remercier pour avoir accepter le changement de dates
Bonne fin de week end a tous
by Benjamin DREUX
Sun Dec 14, 2008 4:05 pm
Forum: Master Informatique
Topic: A l'intention des gens qui sont en OD
Replies: 3
Views: 6491

A l'intention des gens qui sont en OD

J'ai perdu mon sujet de projet. Estce qu'il y aurait une âme charitable qui serait pres a me pretter son sujet le temps d'une soirée pour que j'en fasse une copie.
Merci