Glue semantics: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 15:3015:30, 18 July 2022‎ SpiralSource talk contribs‎ 3,899 bytes +49‎ Adding short description: "Syntax-semantics interface" undo Tag: Shortdesc helper

curprev 14:2114:21, 18 September 2021‎ Bender the Bot talk contribs‎ m 3,850 bytes +2‎ →‎Overview: HTTP to HTTPS for Stanford University, replaced: http://web.stanford.edu/ → https://web.stanford.edu/ (2) undo Tag: AWB

curprev 17:0217:02, 8 August 2021‎ OpenNotes1 talk contribs‎ 3,848 bytes +8‎ No edit summary undo

curprev 20:3120:31, 26 February 2021‎ Botterweg14 talk contribs‎ 3,840 bytes +21‎ adding {{Formal semantics}} undo

curprev 16:5916:59, 30 December 2019‎ Fadesga talk contribs‎ 3,819 bytes +5‎ →‎External links undo

curprev 12:5212:52, 13 May 2019‎ 94.65.216.254 talk‎ 3,814 bytes +29‎ MOS:SECTIONORDER undo

curprev 10:0310:03, 18 February 2018‎ GünniX talk contribs‎ m 3,785 bytes +26‎ →‎References undo

curprev 14:4514:45, 15 February 2018‎ Findlayjy talk contribs‎ 3,759 bytes +22‎ No edit summary undo
curprev 14:3614:36, 15 February 2018‎ Findlayjy talk contribs‎ 3,737 bytes +908‎ Added citations for some of the other syntactic frameworks used with Glue undo Tag: Visual edit
curprev 13:5013:50, 15 February 2018‎ Findlayjy talk contribs‎ 2,829 bytes −57‎ Removed broken link to Glue prover and updated link to bibliography undo Tag: Visual edit: Switched

curprev 03:2003:20, 20 October 2017‎ InternetArchiveBot talk contribs‎ 2,886 bytes +43‎ Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6beta) undo

curprev 00:5800:58, 12 June 2017‎ Magic links bot talk contribs‎ m 2,843 bytes +8‎ Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 10:0510:05, 25 March 2016‎ BG19bot talk contribs‎ m 2,835 bytes −3‎ Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

curprev 04:0904:09, 14 December 2015‎ Me, Myself, and I are Here talk contribs‎ m 2,838 bytes +2‎ →‎top undo

curprev 20:4620:46, 21 October 2015‎ 130.15.34.126 talk‎ 2,836 bytes +14‎ stub tag undo

curprev 11:3911:39, 3 January 2014‎ Mary.dalrymple talk contribs‎ m 2,822 bytes +4‎ new web address for glue bibliography undo

curprev 22:4122:41, 2 January 2014‎ Dougarnold02 talk contribs‎ 2,818 bytes 0‎ No edit summary undo
curprev 22:4122:41, 2 January 2014‎ Dougarnold02 talk contribs‎ m 2,818 bytes +82‎ Added link to Glue Logic Theorem prover under External Links undo

curprev 08:3108:31, 17 March 2013‎ Addbot talk contribs‎ m 2,736 bytes −22‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q2261966 undo

curprev 17:5417:54, 15 June 2012‎ Lockley talk contribs‎ m 2,758 bytes −30‎ remove context tag undo

curprev 13:2613:26, 8 May 2012‎ Helpful Pixie Bot talk contribs‎ m 2,788 bytes +6‎ ISBNs (Build KE) undo

curprev 14:0414:04, 6 April 2011‎ Tijfo098 talk contribs‎ 2,782 bytes 0‎ per move undo
curprev 14:0314:03, 6 April 2011‎ Tijfo098 talk contribs‎ m 2,782 bytes 0‎ moved Glue Semantics to Glue semantics: Unambigous, and written like that in more recent sources. undo

curprev 07:0107:01, 16 October 2010‎ Camw talk contribs‎ m 2,782 bytes −1‎ →‎References: clean up using AWB undo

curprev 23:4623:46, 4 October 2009‎ SmackBot talk contribs‎ m 2,783 bytes −14‎ Date maintenance tags and general fixes undo

curprev 19:4919:49, 21 September 2009‎ Tyrone Walsh-Clements talk contribs‎ 2,797 bytes +3‎ No edit summary undo

curprev 07:5707:57, 26 August 2009‎ Rick Jelliffe talk contribs‎ m 2,794 bytes −20‎ →‎See also: Revert vandalism undo

curprev 11:0311:03, 22 August 2009‎ 121.135.122.224 talk‎ 2,814 bytes +20‎ No edit summary undo

curprev 16:1416:14, 29 June 2009‎ The Wiki ghost talk contribs‎ m 2,794 bytes +22‎ No edit summary undo

curprev 13:5013:50, 21 October 2008‎ Flewis talk contribs‎ m 2,772 bytes −5‎ Reverted edits by 165.95.18.162 to last version by 67.67.223.167 (HG) undo
curprev 13:5013:50, 21 October 2008‎ 165.95.18.162 talk‎ 2,777 bytes +5‎ →‎References undo

curprev 21:3821:38, 29 August 2008‎ 67.67.223.167 talk‎ 2,772 bytes −2‎ No edit summary undo

curprev 23:0723:07, 10 June 2008‎ 129.67.117.121 talk‎ 2,774 bytes −8‎ →‎External links undo

curprev 19:0319:03, 8 May 2008‎ 77.125.129.184 talk‎ 2,782 bytes +112‎ No edit summary undo

curprev 13:0313:03, 7 August 2007‎ Mary.dalrymple talk contribs‎ 2,670 bytes 0‎ No edit summary undo
curprev 13:0113:01, 7 August 2007‎ Mary.dalrymple talk contribs‎ 2,670 bytes −20‎ No edit summary undo
curprev 12:5712:57, 7 August 2007‎ Mary.dalrymple talk contribs‎ m 2,690 bytes +35‎ No edit summary undo

18 July 2022

18 September 2021

8 August 2021

26 February 2021

30 December 2019

13 May 2019

18 February 2018

15 February 2018

20 October 2017

12 June 2017

25 March 2016

14 December 2015

21 October 2015

3 January 2014

2 January 2014

17 March 2013

15 June 2012

8 May 2012

6 April 2011

16 October 2010

4 October 2009

21 September 2009

26 August 2009

22 August 2009

29 June 2009

21 October 2008

29 August 2008

10 June 2008

8 May 2008

7 August 2007

6 August 2007

27 July 2007