Major2

2025-06-05 22:07:12 +02:00
parent 069473ae02
commit 97fba407ce
6300 changed files with 711849 additions and 8 deletions
@@ -0,0 +1,8 @@
+file:: [Maude-3.2.1-manual_1701275030620_0.pdf](../assets/Maude-3.2.1-manual_1701275030620_0.pdf)
+file-path:: ../assets/Maude-3.2.1-manual_1701275030620_0.pdf
+
+- The predefined module CONFIGURATION in the file prelude.maude provides basic sorts and constructors for modeling object-based systems
+  ls-type:: annotation
+  hl-page:: 225
+  hl-color:: green
+  id:: 656765b3-d696-44bc-b03c-7631830a6d17