Changes related to "The Maude System"

This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Pages on your watchlist are bold.

Recent changes options

Legend:

N: This edit created a new page (also see list of new pages)
m: This is a minor edit
b: This edit was performed by a bot
(±123): The page size changed by this number of bytes

Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide minor edits | Show bots | Hide anonymous users | Hide registered users | Hide my edits
Show new changes starting from 16:30, 18 July 2025

17 July 2025

(diff | hist) . . Maude download and installation‎; 13:04 . . (+211)‎ . . ‎Malaga (Talk | contribs)‎

16 July 2025

(diff | hist) . . Maude download and installation‎; 16:48 . . (+2)‎ . . ‎Malaga (Talk | contribs)‎
(diff | hist) . . Maude Manual and Examples‎; 16:46 . . (+2)‎ . . ‎Malaga (Talk | contribs)‎ (→‎Manual - Latest Version)
(diff | hist) . . Maude download and installation‎; 15:27 . . (+124)‎ . . ‎Malaga (Talk | contribs)‎
(diff | hist) . . Some Papers on Maude and on Rewriting Logic‎; 15:16 . . (+1)‎ . . ‎Malaga (Talk | contribs)‎
(diff | hist) . . Some Papers on Maude and on Rewriting Logic‎; 15:16 . . (+292)‎ . . ‎Malaga (Talk | contribs)‎
(diff | hist) . . Maude Manual and Examples‎; 15:10 . . (-10)‎ . . ‎Malaga (Talk | contribs)‎

Namespace:	Invert selection Associated namespace
Page name:	Show changes to pages linked to the given page instead

Changes related to "The Maude System"

17 July 2025

16 July 2025

Navigation menu

Personal tools

Namespaces

Variants

Views

Actions

Search

Navigation

Tools