Request diff between arbitrary revisions - Display revisions graphically
Keyword substitution: kv
Default branch: MAIN
Current tag: rpl-4_1_32
Patches pour que giac puisse être compilé avec la version embarquée de CoCoALib. Modification des makefiles pour forcer la liaison statique de giac avec les différentes bibliothèques statiques (le script configure de giac est fautif).