wenzelm [Wed, 21 May 2025 17:42:38 +0200] rev 82657
clarified colors for "dark" theme -- requires to update jedit component;
wenzelm [Wed, 21 May 2025 16:34:03 +0200] rev 82656
suppress other icon themes: always use default "tango" (which includes "idea-icons") -- requires to update jedit component;
wenzelm [Wed, 21 May 2025 15:13:31 +0200] rev 82655
clarified patches: this is hardly modular anymore;
wenzelm [Wed, 21 May 2025 15:09:48 +0200] rev 82654
redundant;
Manuel Eberl <eberlm@in.tum.de> [Wed, 21 May 2025 21:48:42 +0200] rev 82653
three lemmas for HOL-Complex_Analysis, HOL-Computational_Algebra
haftmann [Wed, 21 May 2025 20:13:43 +0200] rev 82652
provide list-valued interface for simp rules
haftmann [Wed, 21 May 2025 20:13:43 +0200] rev 82651
provide modern interface for solvers
haftmann [Wed, 21 May 2025 20:13:43 +0200] rev 82650
provide modern interface for loopers
haftmann [Wed, 21 May 2025 20:13:43 +0200] rev 82649
tuned argument order an internal names
haftmann [Wed, 21 May 2025 20:13:43 +0200] rev 82648
typo