User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 23:13, 15 December 2020 (diff | hist) . . (-1) . . Applications
- 23:13, 15 December 2020 (diff | hist) . . (-1) . . Applications
- 23:12, 15 December 2020 (diff | hist) . . (-11) . . Applications
- 23:11, 15 December 2020 (diff | hist) . . (+871) . . Applications
- 22:23, 15 December 2020 (diff | hist) . . (-1) . . Applications
- 22:22, 15 December 2020 (diff | hist) . . (+44) . . Applications
- 22:17, 15 December 2020 (diff | hist) . . (-18) . . Applications
- 22:16, 15 December 2020 (diff | hist) . . (+1,987) . . N Applications (Created page with "Maude and its formal tools have been used in many pioneering applications: • Formal definition and verification of programming and hardware, resp. software, modeling langu...")
- 22:16, 15 December 2020 (diff | hist) . . (+35) . . The Maude System
- 12:27, 3 November 2020 (diff | hist) . . (+24) . . The Maude Project and Team
- 16:48, 2 November 2020 (diff | hist) . . (0) . . Maude Manual and Examples
- 22:28, 18 October 2020 (diff | hist) . . (0) . . The Maude System
- 22:28, 18 October 2020 (diff | hist) . . (0) . . N File:Full-Maude-3.1.zip (current)
- 22:23, 18 October 2020 (diff | hist) . . (+12) . . All Maude 3 versions
- 22:22, 18 October 2020 (diff | hist) . . (0) . . N File:Maude-3.1.tar.gz (current)
- 22:22, 18 October 2020 (diff | hist) . . (0) . . N File:Maude-3.1-macos.zip (current)
- 22:22, 18 October 2020 (diff | hist) . . (0) . . N File:Maude-3.1-linux.zip (current)
- 22:21, 18 October 2020 (diff | hist) . . (+49) . . Maude download and installation
- 16:26, 18 October 2020 (diff | hist) . . (0) . . N File:Maude-3.1-manual-book-examples.zip (current)
- 16:26, 18 October 2020 (diff | hist) . . (+457) . . All Maude 3 versions
- 16:12, 18 October 2020 (diff | hist) . . (+10) . . The Maude System
- 16:11, 18 October 2020 (diff | hist) . . (0) . . N File:Maude-3.1-manual.pdf (current)
- 12:59, 4 June 2020 (diff | hist) . . (0) . . N File:Maude-npa-v3 1 4.zip (current)
- 12:58, 4 June 2020 (diff | hist) . . (+66) . . Maude Tools: Maude-NPA (current)
- 15:27, 19 February 2020 (diff | hist) . . (0) . . File:Maude-3.0+cvc4-linux.zip (Malaga uploaded a new version of "File:Maude-3.0+cvc4-linux.zip") (current)
- 15:26, 19 February 2020 (diff | hist) . . (0) . . File:Maude-3.0+cvc4-osx.zip (Malaga uploaded a new version of "File:Maude-3.0+cvc4-osx.zip") (current)
- 15:25, 19 February 2020 (diff | hist) . . (0) . . File:Maude-3.0+yices2-osx.zip (Malaga uploaded a new version of "File:Maude-3.0+yices2-osx.zip") (current)
- 15:24, 19 February 2020 (diff | hist) . . (0) . . File:Maude-3.0+yices2-linux.zip (Malaga uploaded a new version of "File:Maude-3.0+yices2-linux.zip") (current)
- 23:38, 26 January 2020 (diff | hist) . . (0) . . File:Maude-3.0.tar.gz (Malaga uploaded a new version of "File:Maude-3.0.tar.gz") (current)
- 11:40, 10 January 2020 (diff | hist) . . (0) . . File:Maude-3.0-manual.pdf (Malaga uploaded a new version of "File:Maude-3.0-manual.pdf") (current)
- 00:11, 10 January 2020 (diff | hist) . . (0) . . File:Maude-3.0-manual.pdf (Malaga uploaded a new version of "File:Maude-3.0-manual.pdf")
- 12:40, 30 December 2019 (diff | hist) . . (0) . . The Maude System
- 12:39, 30 December 2019 (diff | hist) . . (+7) . . The Maude System
- 22:42, 29 December 2019 (diff | hist) . . (+153) . . N MediaWiki:Common.css (Override logo) (current)
- 11:10, 28 December 2019 (diff | hist) . . (0) . . File:Maude-3.0-manual.pdf (Malaga uploaded a new version of "File:Maude-3.0-manual.pdf")
- 13:44, 27 December 2019 (diff | hist) . . (-106) . . Maude download and installation (→Change list from Maude 2.7.1 to 3.0)
- 13:02, 21 December 2019 (diff | hist) . . (+11) . . Maude download and installation (→Maude manual and primer)
- 13:00, 21 December 2019 (diff | hist) . . (+12) . . Maude Manual and Examples
- 12:57, 21 December 2019 (diff | hist) . . (-9) . . Maude Manual and Examples
- 23:45, 20 December 2019 (diff | hist) . . (-73) . . The Maude System
- 23:44, 20 December 2019 (diff | hist) . . (+505) . . Maude download and installation
- 23:34, 20 December 2019 (diff | hist) . . (0) . . N File:Maude-3.0-manual-book-examples.zip (current)
- 23:33, 20 December 2019 (diff | hist) . . (0) . . N File:Maude-3.0-manual.pdf
- 23:32, 20 December 2019 (diff | hist) . . (+1) . . All Maude 3 versions (→Maude 3.0)
- 23:31, 20 December 2019 (diff | hist) . . (-13) . . All Maude 3 versions
- 23:30, 20 December 2019 (diff | hist) . . (+11) . . All Maude 3 versions
- 23:27, 20 December 2019 (diff | hist) . . (+76) . . All Maude 3 versions (→Maude 3.0)
- 23:24, 20 December 2019 (diff | hist) . . (-358) . . Maude download and installation
- 23:14, 20 December 2019 (diff | hist) . . (-61) . . The Maude System
- 00:50, 18 December 2019 (diff | hist) . . (+73) . . The Maude System (→Obtaining and Using Maude)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)