8 Commits

Author	SHA1	Message	Date
Claude Marche	9585835c11	doc: updated examples for why3session command	2018-06-22 17:05:06 +02:00
Claude Marche	d973d83da3	fix doc after change in explanation system	2012-10-31 12:50:38 +01:00
Claude Marche	6673640cef	doc: done a few todos	2012-10-26 16:09:43 +02:00
Claude Marche	d92c6303b5	why3session latex improved again (hopefully)	2012-10-12 09:45:11 +02:00
Claude Marche	6188733d44	improved why3session latex	2012-10-12 07:16:58 +02:00
Claude Marché	032fe77161	doc, update uses of HelloProof example	2012-04-13 11:17:13 +02:00
Claude Marché	b4324d3c34	doc: updated table genereted by why3replayer	2011-10-12 13:59:04 +02:00
Claude Marche	c8b62ca86b	Improved doc for why3replauer -latex	2011-10-11 16:31:14 +02:00