Jump to content

Talk:Separation logic: Revision history

View logs for this page (view filter log)

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 06:3506:35, 9 February 2024‎ Cewbot talk contribs‎ m 3,051 bytes +30‎ Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computer Science}}. undo Tag: Talk banner shell conversion

curprev 17:5517:55, 20 July 2022‎ Bart Jacobs (Leuven) talk contribs‎ 3,021 bytes +355‎ No edit summary undo Tags: Mobile edit Mobile web edit
curprev 17:2017:20, 20 July 2022‎ DavidGries talk contribs‎ 2,666 bytes +447‎ →‎Introduction of paragraph on interference freedom: new section undo Tag: New topic

curprev 00:5700:57, 11 June 2018‎ Chris857 talk contribs‎ 2,219 bytes +1‎ reassess undo

curprev 13:1713:17, 23 October 2012‎ Lykos42 talk contribs‎ 2,218 bytes +407‎ →‎Precedence of *: new section undo

curprev 23:5623:56, 3 January 2012‎ Clconway talk contribs‎ 1,811 bytes +489‎ →‎\ast and -\!\!\ast: updated resp. undo
curprev 23:4923:49, 3 January 2012‎ Clconway talk contribs‎ 1,322 bytes +461‎ →‎\ast and -\!\!\ast: resp. undo
curprev 13:2013:20, 3 January 2012‎ Rgrig talk contribs‎ 861 bytes +247‎ →‎\ast and -\!\!\ast undo

curprev 22:2922:29, 3 March 2011‎ Clconway talk contribs‎ 614 bytes +559‎ Undid revision 416956822 by Rgrig (talk) Don't remove other people's comments undo
curprev 19:5719:57, 3 March 2011‎ Rgrig talk contribs‎ 55 bytes −559‎ the main article now makes clear which adjointness is meant, by linking to its wikipedia article undo

curprev 18:0818:08, 9 March 2010‎ Clconway talk contribs‎ 614 bytes +228‎ →‎\ast and -\!\!\ast: adjoint? undo
curprev 18:0418:04, 9 March 2010‎ Clconway talk contribs‎ 386 bytes +331‎ →‎\ast and -\!\!\ast: new section undo

curprev 14:0814:08, 14 February 2010‎ Greenrd talk contribs‎ m 55 bytes +11‎ -> WPCS undo

curprev 12:1212:12, 26 June 2008‎ TinucherianBot talk contribs‎ 44 bytes +44‎ WP:COMPUTING Tagging ( False Postive ?? ) :(Plugin++) Added {{WikiProject Computing}}.

Retrieved from "https://en.wikipedia.org/wiki/Talk:Separation_logic"