https://sourceforge.net/p/gen-inst/GenInst/Recent changes to GenInst repository in gen-inst projectenWed, 09 Sep 2015 11:34:03 -0000https://sourceforge.net/p/gen-inst/GenInst/ci/3c884191fd0c3b27b5420f036404e871b4834582/<div class="markdown_content"><p>Updated to use EventB Utils 0.2.0<br/><a href="/p/gen-inst/GenInst/ci/3c884191fd0c3b27b5420f036404e871b4834582/">View Changes</a></p></div>Thai Son HoangWed, 09 Sep 2015 11:34:03 -0000https://sourceforge.net/p/gen-inst/GenInst/ci/3c884191fd0c3b27b5420f036404e871b4834582/https://sourceforge.net/p/gen-inst/GenInst/ci/b2c26bc470d789697b856481f5266a3801832d07/<div class="markdown_content"><p>Fix a NPE for update to Rodin 3.1<br/><a href="/p/gen-inst/GenInst/ci/b2c26bc470d789697b856481f5266a3801832d07/">View Changes</a></p></div>Thai Son HoangWed, 09 Sep 2015 11:34:03 -0000https://sourceforge.net/p/gen-inst/GenInst/ci/b2c26bc470d789697b856481f5266a3801832d07/https://sourceforge.net/p/gen-inst/GenInst/ci/cb1e099a2d2807c9de20386f47c9b9f707a42695/<div class="markdown_content"><p>Version number to 1.1.1<br/><a href="/p/gen-inst/GenInst/ci/cb1e099a2d2807c9de20386f47c9b9f707a42695/">View Changes</a></p></div>Thai Son HoangWed, 09 Sep 2015 11:34:03 -0000https://sourceforge.net/p/gen-inst/GenInst/ci/cb1e099a2d2807c9de20386f47c9b9f707a42695/https://sourceforge.net/p/gen-inst/GenInst/ci/03985bd4c10099c7f36a1a418ea4a3f0eac7fbf2/<div class="markdown_content"><p>Version number 1.1.1<br/><a href="/p/gen-inst/GenInst/ci/03985bd4c10099c7f36a1a418ea4a3f0eac7fbf2/">View Changes</a></p></div>Thai Son HoangWed, 09 Sep 2015 11:34:03 -0000https://sourceforge.net/p/gen-inst/GenInst/ci/03985bd4c10099c7f36a1a418ea4a3f0eac7fbf2/https://sourceforge.net/p/gen-inst/GenInst/ci/58067e982fa4e2fb5dbe92deae824846fc9ea25b/<div class="markdown_content"><p>Deleted updatesite project<br /><a href="/p/gen-inst/GenInst/ci/58067e982fa4e2fb5dbe92deae824846fc9ea25b">View Changes</a></p></div>Fri, 01 Aug 2014 10:07:15 -0000https://sourceforge.net/p/gen-inst/GenInst/ci/58067e982fa4e2fb5dbe92deae824846fc9ea25b/https://sourceforge.net/p/gen-inst/GenInst/ci/42be835143d4ae6347a55331e5bd06ccf60cdb3e/<div class="markdown_content"><p>Committed locally for history merge<br /><a href="/p/gen-inst/GenInst/ci/42be835143d4ae6347a55331e5bd06ccf60cdb3e">View Changes</a></p></div>Fri, 01 Aug 2014 10:03:47 -0000https://sourceforge.net/p/gen-inst/GenInst/ci/42be835143d4ae6347a55331e5bd06ccf60cdb3e/https://sourceforge.net/p/gen-inst/GenInst/ci/671b5b7acf10236c13b8363984d238486fb1de43/<div class="markdown_content"><p>added PO gen files<br /><a href="/p/gen-inst/GenInst/ci/671b5b7acf10236c13b8363984d238486fb1de43">View Changes</a></p></div>Fri, 01 Aug 2014 10:03:47 -0000https://sourceforge.net/p/gen-inst/GenInst/ci/671b5b7acf10236c13b8363984d238486fb1de43/https://sourceforge.net/p/gen-inst/GenInst/ci/0aaeb044b9f2b4f154b72414665b68a71ea91637/<div class="markdown_content"><p>Committed initial version of GI PO generation.<br /><a href="/p/gen-inst/GenInst/ci/0aaeb044b9f2b4f154b72414665b68a71ea91637">View Changes</a></p></div>Fri, 01 Aug 2014 10:03:47 -0000https://sourceforge.net/p/gen-inst/GenInst/ci/0aaeb044b9f2b4f154b72414665b68a71ea91637/https://sourceforge.net/p/gen-inst/GenInst/ci/a5a7ca3491bdaa57a760debf2ae758e0f43397e5/<div class="markdown_content"><p>Change related to PO and Navigation drop down.<br /><a href="/p/gen-inst/GenInst/ci/a5a7ca3491bdaa57a760debf2ae758e0f43397e5">View Changes</a></p></div>mandalaFri, 01 Aug 2014 10:03:47 -0000https://sourceforge.net/p/gen-inst/GenInst/ci/a5a7ca3491bdaa57a760debf2ae758e0f43397e5/https://sourceforge.net/p/gen-inst/GenInst/ci/8d7cf4155da156f96518854e18b66b4daef18654/<div class="markdown_content"><p>PO integrated<br /><a href="/p/gen-inst/GenInst/ci/8d7cf4155da156f96518854e18b66b4daef18654">View Changes</a></p></div>mandalaFri, 01 Aug 2014 10:03:47 -0000https://sourceforge.net/p/gen-inst/GenInst/ci/8d7cf4155da156f96518854e18b66b4daef18654/