Activity for Sigmahttps://sourceforge.net/p/sigmakee/activity/Recent activity for SigmaenTue, 04 Aug 2015 17:36:03 -0000Sigma released /publishJar.txthttps://sourceforge.nethttp%3A//sourceforge.net/projects/sigmakee/files/publishJar.txt/downloadSigmaTue, 04 Aug 2015 17:36:03 -0000http://sourceforge.net/projects/sigmakee/files/publishJar.txt/downloadSigma released /eproverhttps://sourceforge.nethttp%3A//sourceforge.net/projects/sigmakee/files/eprover/downloadSigmaFri, 06 Mar 2015 14:51:04 -0000http://sourceforge.net/projects/sigmakee/files/eprover/downloadSigma released /epclextracthttps://sourceforge.nethttp%3A//sourceforge.net/projects/sigmakee/files/epclextract/downloadSigmaFri, 06 Mar 2015 14:51:04 -0000http://sourceforge.net/projects/sigmakee/files/epclextract/downloadSigma released /epcllemmahttps://sourceforge.nethttp%3A//sourceforge.net/projects/sigmakee/files/epcllemma/downloadSigmaFri, 06 Mar 2015 14:51:04 -0000http://sourceforge.net/projects/sigmakee/files/epcllemma/downloadSigma released /e_ltb_runnerhttps://sourceforge.nethttp%3A//sourceforge.net/projects/sigmakee/files/e_ltb_runner/downloadSigmaFri, 06 Mar 2015 14:50:04 -0000http://sourceforge.net/projects/sigmakee/files/e_ltb_runner/downloadAdam Pease modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Home/HomeAdam PeaseThu, 05 Mar 2015 20:57:02 -0000https://sourceforge.net/p/sigmakee/wiki/Home/Adam Pease modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/required_data_files/required_data_filesAdam PeaseThu, 05 Feb 2015 17:36:06 -0000https://sourceforge.net/p/sigmakee/wiki/required_data_files/Adam Pease created a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/required_data_files/required_data_filesAdam PeaseThu, 05 Feb 2015 15:05:27 -0000https://sourceforge.net/p/sigmakee/wiki/required_data_files/Adam Pease modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Home/HomeAdam PeaseThu, 05 Feb 2015 14:49:25 -0000https://sourceforge.net/p/sigmakee/wiki/Home/Adam Pease modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Home/HomeAdam PeaseThu, 05 Feb 2015 14:47:53 -0000https://sourceforge.net/p/sigmakee/wiki/Home/Andrew Reed created a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Sigma%2520with%2520Maven/Sigma with MavenAndrew ReedSun, 01 Feb 2015 13:33:56 -0000https://sourceforge.net/p/sigmakee/wiki/Sigma%20with%20Maven/Adam Pease modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Setting%2520up%2520Sigma%2520on%2520Ubuntu/Setting up Sigma on UbuntuAdam PeaseSat, 24 Jan 2015 18:09:18 -0000https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/Sigma released /sigma_1.0-1_amd64.debhttps://sourceforge.nethttp%3A//sourceforge.net/projects/sigmakee/files/sigma_1.0-1_amd64.deb/downloadSigmaSat, 24 Jan 2015 18:05:54 -0000http://sourceforge.net/projects/sigmakee/files/sigma_1.0-1_amd64.deb/downloadSreekumar Jairaj modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Setting%2520up%2520Sigma%2520on%2520Ubuntu/Setting up Sigma on UbuntuSreekumar JairajFri, 23 Jan 2015 19:47:41 -0000https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/Sreekumar Jairaj modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Setting%2520up%2520Sigma%2520on%2520Ubuntu/Setting up Sigma on UbuntuSreekumar JairajFri, 23 Jan 2015 19:43:24 -0000https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/Sreekumar Jairaj modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Setting%2520up%2520Sigma%2520on%2520Ubuntu/Setting up Sigma on UbuntuSreekumar JairajFri, 23 Jan 2015 19:40:39 -0000https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/Sreekumar Jairaj modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Setting%2520up%2520Sigma%2520on%2520Ubuntu/Setting up Sigma on UbuntuSreekumar JairajFri, 23 Jan 2015 19:36:57 -0000https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/Sreekumar Jairaj modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Setting%2520up%2520Sigma%2520on%2520Ubuntu/Setting up Sigma on UbuntuSreekumar JairajFri, 23 Jan 2015 19:35:32 -0000https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/Sreekumar Jairaj modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Setting%2520up%2520Sigma%2520on%2520Ubuntu/Setting up Sigma on UbuntuSreekumar JairajFri, 23 Jan 2015 19:34:27 -0000https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/Sreekumar Jairaj modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Setting%2520up%2520Sigma%2520on%2520Ubuntu/Setting up Sigma on UbuntuSreekumar JairajFri, 23 Jan 2015 19:31:15 -0000https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/Sreekumar Jairaj modified a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Setting%2520up%2520Sigma%2520on%2520Ubuntu/Setting up Sigma on UbuntuSreekumar JairajFri, 23 Jan 2015 19:29:18 -0000https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/Sreekumar Jairaj created a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Setting%2520up%2520Sigma%2520on%2520Ubuntu/Setting up Sigma on UbuntuSreekumar JairajFri, 23 Jan 2015 19:28:16 -0000https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/Qingqing Cai renamed a wiki pagehttps://sourceforge.net/p/sigmakee/wiki/Sigma%2520Setup%2520on%2520Mac/Sigma Setup on MacQingqing CaiFri, 23 Jan 2015 14:40:50 -0000https://sourceforge.net/p/sigmakee/wiki/Sigma%20Setup%20on%20Mac/