wenzelm [Sun, 01 Jun 2025 17:06:33 +0200] rev 82680
obsolete (see 22d65e375c01);
wenzelm [Sun, 01 Jun 2025 16:43:09 +0200] rev 82679
more generic parsing of command spans;
support for Thy_Info.get_theories_elements;
wenzelm [Sun, 01 Jun 2025 15:35:28 +0200] rev 82678
tuned;
wenzelm [Sun, 01 Jun 2025 15:30:35 +0200] rev 82677
support for Thy_Info.get_theories_segments, depending on system option "record_theories";
wenzelm [Sun, 01 Jun 2025 13:12:43 +0200] rev 82676
tuned;
haftmann [Sun, 01 Jun 2025 10:29:45 +0200] rev 82675
another default code_unfold rule
haftmann [Sat, 31 May 2025 21:51:08 +0200] rev 82674
generic executable ranges
wenzelm [Sat, 31 May 2025 11:29:10 +0200] rev 82673
clarified signature;
haftmann [Fri, 30 May 2025 08:02:55 +0200] rev 82672
explicit abort for big lattice operations over non-empty sets
haftmann [Fri, 30 May 2025 08:02:54 +0200] rev 82671
prefer explicit operation to make generated code more abstract