17451k / eventb-to-txt / 36

Builds Branch Commit Type Ran Committer Via Coverage
36 master Update version to 1.3 push 17451k travis-ci pending completion   set done
35 master Update version to 1.3 push 17451k travis-ci pending completion   set done
34 master Replace Windows new lines by UNIX push 17451k travis-ci pending completion   set done
33 v1.2 Update version to 1.2 push 17451k travis-ci pending completion   set done
32 master Update version to 1.2 push 17451k travis-ci pending completion   set done
31 master Fix coverage push 17451k travis-ci pending completion   set done
30 master Update travis push 17451k travis-ci pending completion   set done
29 v1.1 Change print order for merged models push 17451k travis-ci pending completion   set done
28 master Change print order for merged models push 17451k travis-ci pending completion   set done
27 v1.1 Change print order for merged models push 17451k travis-ci pending completion   set done
26 master Change print order for merged models push 17451k travis-ci pending completion   set done
25 v1.0 Update setup and readme push 17451k travis-ci pending completion   set done
24 master Update setup and readme push 17451k travis-ci pending completion   set done
23 master Add ability to merge printed txt files push 17451k travis-ci pending completion   set done
22 master Extends and sees must be lists push 17451k travis-ci pending completion   set done