Commit d82e52b6 authored by Andrei Paskevich's avatar Andrei Paskevich

TryWhy3: fix the order of tasks in a theory + the copyright years

parent 5bbc031a
......@@ -167,7 +167,7 @@
<p>TryWhy3 is a Javascript based version of
the <a href="http://why3.lri.fr/" target="_blank">Why3
Verification Platform</a></p>
<p>© 2010-2017, Inria - CNRS - Paris-Sud University<br/>
<p>© 2010-2018, Inria - CNRS - Paris-Sud University<br/>
This software is distributed under the terms of the GNU Lesser
General Public License version 2.1, with the special exception
on linking described in the
......
......@@ -187,7 +187,7 @@ module Task =
Hashtbl.add task_table th_id { task = `Theory(th);
parent_id = "theory-list";
status = `New;
subtasks = task_ids;
subtasks = List.rev task_ids;
loc = [];
expl = th_name;
pretty = "";
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment