https://sourceforge.net/p/finautom/activity/Recent activity for Finite AutomataenMon, 01 Oct 2018 14:17:02 -0000https://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3.1/automgrp-1.3.1.tar.bz2/downloadFinite AutomataMon, 01 Oct 2018 14:17:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3.1/automgrp-1.3.1.tar.bz2/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3.1/automgrp-1.3.1-win.zip/downloadFinite AutomataMon, 01 Oct 2018 14:17:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3.1/automgrp-1.3.1-win.zip/downloadhttps://sourceforge.net/p/finautom/code/537/PackageInfo.g was updated with a correct linksavchukMon, 01 Oct 2018 14:12:53 -0000https://sourceforge.net/p/finautom/code/537/https://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3.1/automgrp-1.3.1-win.zip/downloadFinite AutomataSun, 30 Sep 2018 04:19:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3.1/automgrp-1.3.1-win.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3.1/automgrp-1.3.1.tar.gz/downloadFinite AutomataSun, 30 Sep 2018 04:19:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3.1/automgrp-1.3.1.tar.gz/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3.1/automgrp-1.3.1.tar.bz2/downloadFinite AutomataSun, 30 Sep 2018 04:19:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3.1/automgrp-1.3.1.tar.bz2/downloadhttps://sourceforge.net/p/finautom/code/536/Dependency was set to GAP >=4.9.1savchukSun, 30 Sep 2018 03:53:59 -0000https://sourceforge.net/p/finautom/code/536/https://sourceforge.net/p/finautom/code/535/Date was changed, NEWS updated, ReadTest replaced by Test in a comment in testall.tstsavchukSun, 30 Sep 2018 03:49:37 -0000https://sourceforge.net/p/finautom/code/535/https://sourceforge.net/p/finautom/code/534/InstallMethodWithRandomSource patch by Max Horn was applied. savchukSun, 30 Sep 2018 03:22:12 -0000https://sourceforge.net/p/finautom/code/534/https://sourceforge.net/p/finautom/code/533/Version updated in buildman.configsavchukSat, 29 Sep 2018 23:59:43 -0000https://sourceforge.net/p/finautom/code/533/https://sourceforge.net/p/finautom/code/532/- version and date was updated everywheresavchukFri, 28 Sep 2018 04:30:39 -0000https://sourceforge.net/p/finautom/code/532/https://sourceforge.net/p/finautom/code/531/Test Committ. Change date in PackageInfo.gsavchukFri, 28 Sep 2018 03:41:16 -0000https://sourceforge.net/p/finautom/code/531/https://sourceforge.net/p/finautom/code/530/FindGroupRelations and other similar functions ...savchukSat, 10 Sep 2016 03:06:59 -0000https://sourceforge.net/p/finautom/code/530/https://sourceforge.net/p/finautom/code/529/savchukMon, 28 Mar 2016 17:23:23 -0000https://sourceforge.net/p/finautom/code/529/https://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3-win.zip/downloadFinite AutomataMon, 28 Mar 2016 17:23:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3-win.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.bz2/downloadFinite AutomataMon, 28 Mar 2016 17:23:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.bz2/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.gz/downloadFinite AutomataMon, 28 Mar 2016 17:23:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.gz/downloadhttps://sourceforge.net/p/finautom/code/528/savchukMon, 28 Mar 2016 15:22:12 -0000https://sourceforge.net/p/finautom/code/528/https://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.bz2/downloadFinite AutomataMon, 28 Mar 2016 15:21:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.bz2/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3-win.zip/downloadFinite AutomataMon, 28 Mar 2016 15:21:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3-win.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.gz/downloadFinite AutomataMon, 28 Mar 2016 15:21:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.gz/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3-win.zip/downloadFinite AutomataMon, 28 Mar 2016 06:01:04 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3-win.zip/downloadhttps://sourceforge.net/p/finautom/code/527/savchukMon, 28 Mar 2016 05:59:09 -0000https://sourceforge.net/p/finautom/code/527/https://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.gz/downloadFinite AutomataMon, 28 Mar 2016 05:31:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.gz/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.bz2/downloadFinite AutomataMon, 28 Mar 2016 05:31:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.bz2/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3-win.zip/downloadFinite AutomataMon, 28 Mar 2016 05:31:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3-win.zip/downloadhttps://sourceforge.net/p/finautom/code/526/savchukMon, 28 Mar 2016 05:28:52 -0000https://sourceforge.net/p/finautom/code/526/https://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.gz/downloadFinite AutomataMon, 28 Mar 2016 05:23:03 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.gz/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.bz2/downloadFinite AutomataMon, 28 Mar 2016 05:23:03 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.bz2/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3-win.zip/downloadFinite AutomataMon, 28 Mar 2016 05:23:03 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3-win.zip/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.gz/downloadFinite AutomataMon, 28 Mar 2016 05:12:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.gz/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.bz2/downloadFinite AutomataMon, 28 Mar 2016 05:12:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3.tar.bz2/downloadhttps://sourceforge.nethttps%3A//sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3-win.zip/downloadFinite AutomataMon, 28 Mar 2016 05:12:02 -0000https://sourceforge.net/projects/finautom/files/automgrp/1.3/automgrp-1.3-win.zip/downloadhttps://sourceforge.net/p/finautom/code/525/savchukMon, 28 Mar 2016 05:08:01 -0000https://sourceforge.net/p/finautom/code/525/https://sourceforge.net/p/finautom/code/524/Tests for noninitial automata were created; tes...savchukMon, 28 Mar 2016 04:39:42 -0000https://sourceforge.net/p/finautom/code/524/https://sourceforge.net/p/finautom/code/523/savchukMon, 28 Mar 2016 03:14:37 -0000https://sourceforge.net/p/finautom/code/523/https://sourceforge.net/p/finautom/code/522/savchukMon, 28 Mar 2016 01:43:18 -0000https://sourceforge.net/p/finautom/code/522/https://sourceforge.net/p/finautom/code/521/savchukFri, 25 Mar 2016 04:44:06 -0000https://sourceforge.net/p/finautom/code/521/https://sourceforge.net/p/finautom/code/520/savchukFri, 25 Mar 2016 04:38:49 -0000https://sourceforge.net/p/finautom/code/520/https://sourceforge.net/p/finautom/code/519/few more minor updates in msk filessavchukThu, 24 Mar 2016 20:29:03 -0000https://sourceforge.net/p/finautom/code/519/https://sourceforge.net/p/finautom/code/518/msk files updatedsavchukThu, 24 Mar 2016 20:06:54 -0000https://sourceforge.net/p/finautom/code/518/https://sourceforge.net/p/finautom/code/517/test commit - no changesavchukThu, 24 Mar 2016 20:05:51 -0000https://sourceforge.net/p/finautom/code/517/https://sourceforge.net/p/finautom/code/516/msk files updatedsavchukSun, 13 Mar 2016 15:58:14 -0000https://sourceforge.net/p/finautom/code/516/https://sourceforge.net/p/finautom/code/515/references to global variables in msk files wer...savchukSat, 05 Mar 2016 14:53:09 -0000https://sourceforge.net/p/finautom/code/515/https://sourceforge.net/p/finautom/code/514/All examples in the manual checked and inaccura...savchukFri, 04 Mar 2016 19:03:25 -0000https://sourceforge.net/p/finautom/code/514/https://sourceforge.net/p/finautom/code/513/Examples checked and updated in:savchukFri, 04 Mar 2016 04:43:27 -0000https://sourceforge.net/p/finautom/code/513/https://sourceforge.net/p/finautom/code/512/Some examples in gd files correctedsavchukWed, 02 Mar 2016 21:35:42 -0000https://sourceforge.net/p/finautom/code/512/https://sourceforge.net/p/finautom/code/511/Sections(x,0) now returns [x]savchukWed, 02 Mar 2016 20:31:13 -0000https://sourceforge.net/p/finautom/code/511/https://sourceforge.net/p/finautom/code/510/PrintObj was updated for groups, semigroups and...savchukMon, 29 Feb 2016 20:57:23 -0000https://sourceforge.net/p/finautom/code/510/https://sourceforge.net/p/finautom/code/509/Converters FR2AutomGrp for IsFRElement, IsFRGro...savchukSun, 28 Feb 2016 01:49:45 -0000https://sourceforge.net/p/finautom/code/509/https://sourceforge.net/p/finautom/code/508/The bug in AG_AddInversesList was fixed. Now al...savchukTue, 23 Feb 2016 20:17:59 -0000https://sourceforge.net/p/finautom/code/508/https://sourceforge.net/p/finautom/code/507/Converters from AutomGrp to FR for the followin...savchukThu, 06 Aug 2015 21:18:59 -0000https://sourceforge.net/p/finautom/code/507/https://sourceforge.net/p/finautom/code/506/Major update: Minimization of automata (main fi...savchukTue, 04 Aug 2015 04:27:56 -0000https://sourceforge.net/p/finautom/code/506/https://sourceforge.net/p/finautom/code/505/some minor changessavchukMon, 03 Aug 2015 21:29:10 -0000https://sourceforge.net/p/finautom/code/505/https://sourceforge.net/p/finautom/code/504/The issue with IsSemigroupOfSelfSimFamily was r...savchukMon, 13 Jul 2015 13:45:52 -0000https://sourceforge.net/p/finautom/code/504/https://sourceforge.net/p/finautom/code/503/Some converters from AutomGrp to FR and back we...savchukSun, 12 Jul 2015 22:24:12 -0000https://sourceforge.net/p/finautom/code/503/https://sourceforge.net/p/finautom/code/502/Version changed to 1.3savchukWed, 08 Jul 2015 15:55:21 -0000https://sourceforge.net/p/finautom/code/502/https://sourceforge.net/p/finautom/code/501/IsSphericallyTransitive has been updatedsavchukWed, 08 Jul 2015 04:40:25 -0000https://sourceforge.net/p/finautom/code/501/https://sourceforge.net/p/finautom/code/500/Some referee's comments were fixedsavchukWed, 08 Jul 2015 02:36:59 -0000https://sourceforge.net/p/finautom/code/500/https://sourceforge.nethttp%3A//downloads.sourceforge.net/project/finautom/automgrp/1.2.4/automgrp-1.2.4.tar.gz?ts=1390831324finautomMon, 27 Jan 2014 14:02:06 -0000http://downloads.sourceforge.net/project/finautom/automgrp/1.2.4/automgrp-1.2.4.tar.gz?ts=1390831324https://sourceforge.nethttp%3A//downloads.sourceforge.net/project/finautom/automgrp/1.2.4/automgrp-1.2.4.tar.bz2?ts=1390831324finautomMon, 27 Jan 2014 14:02:06 -0000http://downloads.sourceforge.net/project/finautom/automgrp/1.2.4/automgrp-1.2.4.tar.bz2?ts=1390831324https://sourceforge.nethttp%3A//downloads.sourceforge.net/project/finautom/automgrp/1.2.4/automgrp-1.2.4-win.zip?ts=1390831324finautomMon, 27 Jan 2014 14:02:06 -0000http://downloads.sourceforge.net/project/finautom/automgrp/1.2.4/automgrp-1.2.4-win.zip?ts=1390831324https://sourceforge.net/p/finautom/code/499/EOL issue in testall.tst was fixedsavchukMon, 27 Jan 2014 13:54:06 -0000https://sourceforge.net/p/finautom/code/499/https://sourceforge.net/p/finautom/code/498/Date format in PackageInfo.g was changed to com...savchukMon, 27 Jan 2014 13:50:00 -0000https://sourceforge.net/p/finautom/code/498/https://sourceforge.nethttp%3A//downloads.sourceforge.net/project/finautom/automgrp/1.2.3/automgrp-1.2.3.tar.bz2?ts=1390707964finautomSun, 26 Jan 2014 03:46:06 -0000http://downloads.sourceforge.net/project/finautom/automgrp/1.2.3/automgrp-1.2.3.tar.bz2?ts=1390707964https://sourceforge.nethttp%3A//downloads.sourceforge.net/project/finautom/automgrp/1.2.3/automgrp-1.2.3.tar.gz?ts=1390707964finautomSun, 26 Jan 2014 03:46:06 -0000http://downloads.sourceforge.net/project/finautom/automgrp/1.2.3/automgrp-1.2.3.tar.gz?ts=1390707964https://sourceforge.nethttp%3A//downloads.sourceforge.net/project/finautom/automgrp/1.2.3/automgrp-1.2.3-win.zip?ts=1390707964finautomSun, 26 Jan 2014 03:46:06 -0000http://downloads.sourceforge.net/project/finautom/automgrp/1.2.3/automgrp-1.2.3-win.zip?ts=1390707964https://sourceforge.net/p/finautom/code/497/EOL issue was fixed againsavchukSat, 25 Jan 2014 21:35:03 -0000https://sourceforge.net/p/finautom/code/497/https://sourceforge.net/p/finautom/code/496/version was updated to 1.2.3savchukSat, 25 Jan 2014 21:31:46 -0000https://sourceforge.net/p/finautom/code/496/https://sourceforge.net/p/finautom/code/495/unix ends of lines issue was fixed in testall.tstsavchukSat, 25 Jan 2014 04:35:57 -0000https://sourceforge.net/p/finautom/code/495/https://sourceforge.net/p/finautom/code/494/2011 replaced by 2013savchukTue, 31 Dec 2013 05:17:02 -0000https://sourceforge.net/p/finautom/code/494/https://sourceforge.net/p/finautom/code/493/testall.tst was updated to match gap outputsavchukTue, 31 Dec 2013 05:00:46 -0000https://sourceforge.net/p/finautom/code/493/https://sourceforge.net/p/finautom/code/492/Tagging 1.2.2 release again, this one will be r...Yevgen MuntyanTue, 31 Dec 2013 04:37:18 -0000https://sourceforge.net/p/finautom/code/492/https://sourceforge.net/p/finautom/code/491/Added missing tst file to the archivesYevgen MuntyanTue, 31 Dec 2013 04:36:50 -0000https://sourceforge.net/p/finautom/code/491/https://sourceforge.net/p/finautom/code/490/Tagging 1.2.2 releaseYevgen MuntyanTue, 31 Dec 2013 04:35:41 -0000https://sourceforge.net/p/finautom/code/490/https://sourceforge.net/p/finautom/code/489/Date was changed in PackageInfo.gsavchukSat, 28 Dec 2013 03:28:09 -0000https://sourceforge.net/p/finautom/code/489/https://sourceforge.net/p/finautom/code/487/Fixed couple of broken links and cleaned some d...savchukSat, 28 Dec 2013 03:15:27 -0000https://sourceforge.net/p/finautom/code/487/https://sourceforge.net/p/finautom/code/486/Updated package version to 1.2.2savchukSun, 22 Dec 2013 21:08:25 -0000https://sourceforge.net/p/finautom/code/486/https://sourceforge.net/p/finautom/code/485/The order of generators in AG_UseRewritingSyst...savchukSun, 22 Dec 2013 20:56:16 -0000https://sourceforge.net/p/finautom/code/485/https://sourceforge.net/p/finautom/code/484/Updated the package release dateYevgen MuntyanSat, 21 Dec 2013 03:10:54 -0000https://sourceforge.net/p/finautom/code/484/https://sourceforge.net/p/finautom/code/483/Corrected sf.net help urlYevgen MuntyanSat, 21 Dec 2013 03:04:28 -0000https://sourceforge.net/p/finautom/code/483/https://sourceforge.net/p/finautom/code/482/Regenerated tex filesYevgen MuntyanSat, 21 Dec 2013 02:58:31 -0000https://sourceforge.net/p/finautom/code/482/https://sourceforge.net/p/finautom/code/481/Update package versionYevgen MuntyanSat, 21 Dec 2013 02:51:42 -0000https://sourceforge.net/p/finautom/code/481/https://sourceforge.net/p/finautom/code/479/savchukThu, 19 Dec 2013 04:55:31 -0000https://sourceforge.net/p/finautom/code/479/https://sourceforge.net/p/finautom/code/477/savchukSat, 14 Dec 2013 02:36:05 -0000https://sourceforge.net/p/finautom/code/477/