User contributions for Malaga

Results for Malaga talk block log uploads logs

A user with 394 edits. Account created on 23 July 2014.

Jump to navigation Jump to search

13:0413:04, 17 July 2025 diff hist +211 Maude download and installation No edit summary current
12:2012:20, 17 July 2025 diff hist 0 File:Maude-3.5.1-manual-book-examples.zip Malaga uploaded a new version of "File:Maude-3.5.1-manual-book-examples.zip" current
12:2012:20, 17 July 2025 diff hist 0 File:Maude-3.5.1-manual-book-examples.zip Malaga uploaded a new version of "File:Maude-3.5.1-manual-book-examples.zip"
12:1912:19, 17 July 2025 diff hist 0 N File:Maude-3.5.1-manual-book-examples.zip No edit summary
07:3607:36, 17 July 2025 diff hist 0 File:Maude 351 manual.pdf Malaga uploaded a new version of "File:Maude 351 manual.pdf" current

16:4816:48, 16 July 2025 diff hist +2 Maude download and installation No edit summary
16:4716:47, 16 July 2025 diff hist 0 N File:Maude 351 manual.pdf No edit summary
16:4616:46, 16 July 2025 diff hist +2 Maude Manual and Examples →Manual - Latest Version current
16:4316:43, 16 July 2025 diff hist 0 File:Maude351manual.pdf Malaga uploaded a new version of "File:Maude351manual.pdf" current
16:3916:39, 16 July 2025 diff hist 0 N File:Maude351manual.pdf No edit summary
15:2715:27, 16 July 2025 diff hist +124 Maude download and installation No edit summary
15:1615:16, 16 July 2025 diff hist +1 Some Papers on Maude and on Rewriting Logic No edit summary current
15:1615:16, 16 July 2025 diff hist +292 Some Papers on Maude and on Rewriting Logic No edit summary
15:1015:10, 16 July 2025 diff hist −10 Maude Manual and Examples No edit summary
15:0815:08, 16 July 2025 diff hist +2 The Maude System No edit summary current

13:0813:08, 3 October 2024 diff hist +91 Maude download and installation No edit summary
13:0713:07, 3 October 2024 diff hist +31 Maude download and installation No edit summary
13:0313:03, 3 October 2024 diff hist +1 Installation guidelines No edit summary current

18:4418:44, 25 September 2024 diff hist 0 N File:Maude-3.5-manual-book-examples.zip No edit summary current
18:4318:43, 25 September 2024 diff hist 0 Maude Manual and Examples No edit summary
17:3017:30, 25 September 2024 diff hist +15 Maude Manual and Examples No edit summary
17:2417:24, 25 September 2024 diff hist +7 Maude download and installation No edit summary
17:1517:15, 25 September 2024 diff hist 0 File:Maude35manual.pdf Malaga uploaded a new version of "File:Maude35manual.pdf" current
17:1217:12, 25 September 2024 diff hist 0 N File:Maude35manual.pdf No edit summary
10:4910:49, 25 September 2024 diff hist 0 Maude download and installation No edit summary
10:4810:48, 25 September 2024 diff hist +18 Maude download and installation →Main changes from Maude 3.4 to Maude 3.5
10:4510:45, 25 September 2024 diff hist −7 Maude download and installation No edit summary
10:4410:44, 25 September 2024 diff hist −10 Maude download and installation →Main changes from Maude 3.4 to Maude 3.5
10:4410:44, 25 September 2024 diff hist +2 Maude download and installation No edit summary
10:4310:43, 25 September 2024 diff hist +541 Maude download and installation No edit summary
10:2910:29, 25 September 2024 diff hist +190 Some Papers on Maude and on Rewriting Logic No edit summary
10:2310:23, 25 September 2024 diff hist +1 Maude Manual and Examples No edit summary
10:2010:20, 25 September 2024 diff hist −4 The Maude System No edit summary
10:1910:19, 25 September 2024 diff hist +32 The Maude System No edit summary
10:1910:19, 25 September 2024 diff hist −27 The Maude System →Latest version: Maude 3.5
10:1710:17, 25 September 2024 diff hist +31 The Maude System →General Maude Information
10:1710:17, 25 September 2024 diff hist −31 The Maude System →Latest version: Maude 3.5
10:1610:16, 25 September 2024 diff hist +31 The Maude System →General Maude Information
10:1610:16, 25 September 2024 diff hist −32 The Maude System →Latest version: Maude 3.5
10:1610:16, 25 September 2024 diff hist +32 The Maude System →General Maude Information

08:1908:19, 5 June 2024 diff hist +53 m Rewriting Logic WRLA 2024 current

18:5018:50, 14 May 2024 diff hist −41 m Maude Manual and Examples Proper internal link

20:2020:20, 21 March 2024 diff hist +285 Maude download and installation Fix in PDF link, Linux distributions

14:1514:15, 20 March 2024 diff hist −1 Maude download and installation →Main changes from Maude 3.3.1 to Maude 3.4 =
14:1514:15, 20 March 2024 diff hist +261 Maude download and installation No edit summary
14:0814:08, 20 March 2024 diff hist +148 Some Papers on Maude and on Rewriting Logic No edit summary
14:0514:05, 20 March 2024 diff hist +93 Maude Tools No edit summary current
14:0314:03, 20 March 2024 diff hist −1 Applications No edit summary current
14:0214:02, 20 March 2024 diff hist −6 Applications No edit summary
14:0114:01, 20 March 2024 diff hist −22 Applications No edit summary

Retrieved from "https://maude.cs.illinois.edu/wiki/Special:Contributions/Malaga"