I commited a new file (GOC-ExceptionExclusions.tex) in the Exceptions folder with a short subsection explaining the use. Feel free to review and improve it before inclusion in the main file. Probably the better insertion point is just after the ExceptionSet explanation.

For testing the latex compilation I temporally put a "\input" in the main file (this isn't commited).

Regards, Gabriel

On Wed, Nov 27, 2013 at 3:45 AM, St�phane Ducasse <stephane.ducasse@inria.fr> wrote:

Yes
It would be good that you put some comments so that I can read it fast.

Stef
On Nov 26, 2013, at 11:07 PM, Gabriel Cotelli <g.cotelli@gmail.com> wrote:

Thanks Damien,
What is the expected workflow?
I checkout the latex code, made the changes and then commit?

On Tue, Nov 26, 2013 at 4:30 PM, Damien Cassou <damien.cassou@gmail.com> wrote:

On Tue, Nov 26, 2013 at 6:34 PM, Gabriel Cotelli <g.cotelli@gmail.com> wrote:
> Done. Username: gcotelli

done

--
Damien Cassou
http://damiencassou.seasidehosting.st

"Success is the ability to go from one failure to another without
losing enthusiasm."
Winston Churchill