update sessions, part 2

4f85613e · Andrei Paskevich · 2508ec86 · 4f85613e · 4f85613e · 4f85613e
Commit 4f85613e authored Oct 06, 2012 by Andrei Paskevich
5 changed files
--- a/examples/programs/bellman_ford/why3session.xml
+++ b/examples/programs/bellman_ford/why3session.xml
--- a/examples/programs/edit_distance/why3session.xml
+++ b/examples/programs/edit_distance/why3session.xml
--- a/examples/programs/knuth_prime_numbers/why3session.xml
+++ b/examples/programs/knuth_prime_numbers/why3session.xml
--- a/examples/programs/quicksort/why3session.xml
+++ b/examples/programs/quicksort/why3session.xml
--- a/examples/programs/vstte12_ring_buffer_2/why3session.xml
+++ b/examples/programs/vstte12_ring_buffer_2/why3session.xml