| HEAD | 9cd02ec | fix a bug for normalizing zero | 22 December 2022, 23:14:12 UTC |
| refs/heads/develop | 652a5d8 | update | 31 July 2014, 02:15:43 UTC |
| refs/heads/haddock | 035cb54 | Update | 16 November 2020, 06:09:03 UTC |
| refs/heads/master | 9cd02ec | fix a bug for normalizing zero | 22 December 2022, 23:14:12 UTC |
| refs/heads/new-normalization | a101b15 | update | 05 March 2017, 10:17:47 UTC |
| refs/heads/type | 7279f75 | Add match-all except patttern because patterns are not in EgisonExpr. | 23 March 2018, 01:56:31 UTC |
| refs/heads/type_system | dbb8773 | fix | 22 October 2015, 04:23:24 UTC |
| refs/tags/3.10.0 | ff3bc66 | version 3.10.0 | 22 November 2019, 07:42:48 UTC |
| refs/tags/3.10.1 | f2a777e | version 3.10.1 | 25 November 2019, 23:42:20 UTC |
| refs/tags/3.10.2 | fa7adfd | Merge branch 'master' of github.com:egison/egison | 23 December 2019, 00:57:40 UTC |
| refs/tags/3.10.3 | 79ab16f | version 3.10.3 | 19 February 2020, 00:18:42 UTC |
| refs/tags/3.3.0 | a2fc26c | update lib and sample | 06 March 2014, 08:51:20 UTC |
| refs/tags/3.3.1 | 61af5f0 | version 3.3.1 | 12 March 2014, 08:42:10 UTC |
| refs/tags/3.3.10 | a224f49 | version 3.3.10 | 30 July 2014, 06:25:24 UTC |
| refs/tags/3.3.11 | c96e186 | version 3.3.11 | 29 August 2014, 06:53:40 UTC |
| refs/tags/3.3.12 | c168198 | version 3.3.12 | 29 August 2014, 07:33:42 UTC |
| refs/tags/3.3.13 | edec787 | version 3.2.13 | 28 October 2014, 04:27:35 UTC |
| refs/tags/3.3.14 | 2e48b20 | rm Dockerfile | 17 November 2014, 06:46:02 UTC |
| refs/tags/3.3.15 | cc6b41f | update | 21 November 2014, 06:00:56 UTC |
| refs/tags/3.3.16 | e39c378 | version 3.3.16 | 02 December 2014, 10:48:08 UTC |
| refs/tags/3.3.17 | d33d99b | version 3.3.17 | 04 December 2014, 13:46:29 UTC |
| refs/tags/3.3.2 | eb5ae3d | version 3.3.2 | 14 March 2014, 06:42:38 UTC |
| refs/tags/3.3.3 | 560194b | version 3.3.3 | 18 March 2014, 07:25:56 UTC |
| refs/tags/3.3.4 | 653eb78 | version 3.3.4 | 27 March 2014, 12:44:09 UTC |
| refs/tags/3.3.5 | bff14e5 | version 3.3.5 | 04 June 2014, 07:30:41 UTC |
| refs/tags/3.3.6 | 92d8416 | version 3.3.6 again | 06 June 2014, 05:37:00 UTC |
| refs/tags/3.3.7 | c367e1d | version 3.3.7 | 13 June 2014, 13:11:22 UTC |
| refs/tags/3.3.8 | 16a2ff5 | version 3.3.8 | 14 July 2014, 05:10:56 UTC |
| refs/tags/3.3.9 | 31f939e | version 3.3.9 | 29 July 2014, 04:37:48 UTC |
| refs/tags/3.4.0 | f4b5fa1 | version 3.4.0 | 05 December 2014, 06:51:57 UTC |
| refs/tags/3.5.0 | d838004 | version 3.5.0 | 23 December 2014, 03:41:06 UTC |
| refs/tags/3.5.1 | e3f7f4d | update | 24 December 2014, 11:33:44 UTC |
| refs/tags/3.5.10 | 6debb5f | version 3.5.10 | 11 September 2015, 05:40:15 UTC |
| refs/tags/3.5.2 | 9a5049e | version 3.5.2 | 01 January 2015, 01:45:30 UTC |
| refs/tags/3.5.3 | 9b87ee2 | version 3.5.3 | 02 January 2015, 13:16:08 UTC |
| refs/tags/3.5.4 | a56f092 | version 3.5.4 | 20 January 2015, 09:17:00 UTC |
| refs/tags/3.5.5 | 6591d34 | version 3.5.5 | 20 January 2015, 09:40:08 UTC |
| refs/tags/3.5.6 | c47c3b4 | version 3.5.6 | 05 February 2015, 04:22:19 UTC |
| refs/tags/3.5.7 | aa989c0 | version 3.5.7 | 26 June 2015, 06:32:44 UTC |
| refs/tags/3.5.8 | 3a58596 | version 3.5.8 | 30 June 2015, 02:26:18 UTC |
| refs/tags/3.6.0 | a324131 | fix | 24 March 2016, 03:49:18 UTC |
| refs/tags/3.6.1 | 80aaf63 | Merge branch 'master' of github.com:egison/egison | 07 November 2016, 00:33:50 UTC |
| refs/tags/3.6.2 | 4f7297f | version 3.6.2 | 15 November 2016, 06:47:59 UTC |
| refs/tags/3.6.3 | 4cf3894 | version 3.6.3 | 16 November 2016, 08:01:41 UTC |
| refs/tags/3.6.4 | 62c9911 | version 3.6.4 | 23 December 2016, 17:14:14 UTC |
| refs/tags/3.7.1 | 6c6cf52 | version 3.7.1 | 18 November 2017, 04:52:59 UTC |
| refs/tags/3.7.13 | 719ed57 | version 3.7.13 | 10 November 2018, 03:54:47 UTC |
| refs/tags/3.7.14 | 932d3d0 | version 3.7.14 | 19 November 2018, 06:30:37 UTC |
| refs/tags/3.8.0 | dbc58fc | version 3.8.0 | 14 May 2019, 06:38:28 UTC |
| refs/tags/3.8.1 | 6e82909 | version 3.8.1 | 14 May 2019, 23:02:59 UTC |
| refs/tags/3.8.2 | da173de | version 3.8.2 | 10 June 2019, 06:16:55 UTC |
| refs/tags/3.9.0 | 6ddf45c | version 3.9.0 | 27 July 2019, 13:28:31 UTC |
| refs/tags/3.9.1 | 9fbaf81 | version 3.9.1 | 19 August 2019, 11:40:33 UTC |
| refs/tags/3.9.2 | 19412c6 | version 3.9.2 | 10 November 2019, 23:24:51 UTC |
| refs/tags/3.9.3 | b67471e | version 3.9.3 | 10 November 2019, 23:34:43 UTC |
| refs/tags/3.9.4 | d0a4870 | version 3.9.4 | 17 November 2019, 11:43:24 UTC |
| refs/tags/4.0.0 | 400465d | version 4.0.0 | 13 April 2020, 14:17:14 UTC |
| refs/tags/4.0.1 | bfcfe62 | version 4.0.1 (fixed cabal file) | 05 June 2020, 13:04:37 UTC |
| refs/tags/4.0.2 | d2b3849 | version 4.0.2 | 07 June 2020, 07:48:07 UTC |
| refs/tags/4.0.3 | 64665db | version 4.0.3 | 07 June 2020, 08:56:17 UTC |
| refs/tags/4.1.0 | 36a56c7 | version 4.1.0 | 14 October 2020, 09:41:22 UTC |
| refs/tags/4.1.1 | 98976f6 | Merge branch 'master' of github.com:egison/egison | 16 October 2020, 06:12:21 UTC |
| refs/tags/4.1.2 | 87db161 | version 4.1.2 | 26 October 2020, 01:32:54 UTC |
| refs/tags/4.1.3 | dbb395b | version 4.1.3 (remove warning for egison.cabal) | 18 December 2021, 11:15:23 UTC |
