Search found 4 matches
- Wed Apr 15, 2009 3:31 pm
- Forum: Programs
- Topic: Patch KeY: Export LaTeX logic proof
- Replies: 7
- Views: 40110
Re: Patch KeY: Export LaTeX logic proof
to use this patch you will also need to use the latex package amsmath
- Wed Apr 15, 2009 12:30 pm
- Forum: Master Informatique
- Topic: utiliser une autre instalation de java dans une linux
- Replies: 0
- Views: 15586
utiliser une autre instalation de java dans une linux
export JAVA_HOME=/usr/lib/jvm/java-1.5.0-sun/
- Sun Dec 14, 2008 9:48 pm
- Forum: Master Informatique
- Topic: A l'intention des gens qui sont en OD
- Replies: 3
- Views: 13716
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
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
- Sun Dec 14, 2008 4:05 pm
- Forum: Master Informatique
- Topic: A l'intention des gens qui sont en OD
- Replies: 3
- Views: 13716
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
Merci