Index of /acl2-minimal/

../
2026-03-23.log                                     23-Mar-2026 15:47                 628
2026-04-01.log                                     01-Apr-2026 21:39                 628
2026-04-10.log                                     10-Apr-2026 01:45                 628
2026-04-17.log                                     17-Apr-2026 21:04                 628
2026-04-26.log                                     26-Apr-2026 08:40                 628
2026-05-04.log                                     04-May-2026 22:22                 628
2026-05-13.log                                     13-May-2026 14:01                 628
2026-05-21.log                                     21-May-2026 18:27                 628
2026-05-30.log                                     30-May-2026 13:45                 628
2026-06-08.log                                     08-Jun-2026 11:13                 628
2026-06-17.log                                     17-Jun-2026 21:34                 628
2026-06-26.log                                     26-Jun-2026 14:11                 628
2026-07-04.log                                     04-Jul-2026 19:03                 628
2026-07-14.log                                     14-Jul-2026 01:32                 628
2026-07-23.log                                     23-Jul-2026 04:52                 628
2026-08-01.log                                     01-Aug-2026 06:08                 628
2026-08-10.log                                     10-Aug-2026 06:18                 628
2026-08-19.log                                     19-Aug-2026 01:38                 628
2026-08-28.log                                     28-Aug-2026 20:24                 628
2026-09-08.log                                     08-Sep-2026 01:20                 628
2026-09-18.log                                     18-Sep-2026 09:24                 628
2026-09-28.log                                     28-Sep-2026 12:44                 628