summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral
AgeCommit message (Expand)Author
2023-08-14gentoo auto-resync : 14:08:2023 - 00:11:33V3n3RiX
2023-08-11gentoo auto-resync : 11:08:2023 - 21:35:53V3n3RiX
2023-01-31gentoo auto-resync : 31:01:2023 - 03:00:52V3n3RiX
2022-08-16gentoo auto-resync : 16:08:2022 - 14:30:35V3n3RiX
2022-07-14gentoo auto-resync : 14:07:2022 - 19:40:39V3n3RiX
2022-06-29gentoo resync : 29.12.2022V3n3RiX
2022-05-12gentoo resync : 12.05.2022V3n3RiX
2022-03-20gentoo resync : 20.03.2022V3n3RiX
2021-09-16gentoo resync : 16.09.2021V3n3RiX
2019-10-14gentoo resync : 13.10.2019V3n3RiX
2019-09-06gentoo resync : 06.08.2019V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2018-06-16gentoo resync : 16.06.2018V3n3RiX
2017-12-01gentoo resync : 01.12.2017V3n3RiX
2017-11-26gentoo resync : 26.11.2017V3n3RiX
2017-10-09reinit the tree, so we can have metadataV3n3RiX
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-19 17:40:42 +0000