Index of /log/texlivePackages.logicproof/

../
2024-05-01.log                                     01-May-2024 04:07                8121
2024-05-09.log                                     09-May-2024 04:41                8121
2024-05-16.log                                     16-May-2024 19:48                8121
2024-05-25.log                                     25-May-2024 09:29                8121
2024-06-09.log                                     09-Jun-2024 09:57                8121
2024-06-17.log                                     17-Jun-2024 12:01                8707
2024-06-25.log                                     25-Jun-2024 07:26                8707
2024-06-30.log                                     30-Jun-2024 21:26                8707
2024-07-07.log                                     07-Jul-2024 22:17                8707
2024-07-20.log                                     20-Jul-2024 11:29                8707