Added a French version of montague.acg used for the Forum Sciences Co 2014 demo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/acg/dev/trunk@610 8fde8617-4931-0410-9586-bc38d6d3f018
Show_embellish: pretty-print epsilon and french-named signatures

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/acg/dev/trunk@611 8fde8617-4931-0410-9586-bc38d6d3f018
French TAG example for FSC 2014

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/acg/dev/trunk@612 8fde8617-4931-0410-9586-bc38d6d3f018
Fixing the French TAG example

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/acg/dev/trunk@613 8fde8617-4931-0410-9586-bc38d6d3f018
Fix typos and reformat examples

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/acg/dev/trunk@614 8fde8617-4931-0410-9586-bc38d6d3f018
Pretty-print iota operator

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/acg/dev/trunk@615 8fde8617-4931-0410-9586-bc38d6d3f018
Examples from the Forum demo and beyond

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/acg/dev/trunk@616 8fde8617-4931-0410-9586-bc38d6d3f018
Show: Tweaking the padding a bit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/acg/dev/trunk@617 8fde8617-4931-0410-9586-bc38d6d3f018