Property Specification Language: 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:3315:33, 7 August 2025 Dhoru 21 talk contribs 16,966 bytes +37 Adding short description: "Temporal logic" undo Tag: Shortdesc helper

curprev 04:4404:44, 31 July 2024 GreenC bot talk contribs 16,929 bytes +43 Rescued 1 archive link. Wayback Medic 2.5 per WP:URLREQ#ieee.org undo

curprev 20:5720:57, 20 March 2023 David Eppstein talk contribs 16,886 bytes +57 Dana Fisman undo

curprev 19:0319:03, 27 December 2022 81.110.184.237 talk 16,829 bytes +23 No edit summary undo

curprev 23:1523:15, 21 December 2022 Sheep8144402 talk contribs m 16,806 bytes +1 fix linter error (1x missing end tag) undo

curprev 12:2212:22, 30 June 2021 109.186.47.26 talk 16,805 bytes 0 →Sampling operator undo

curprev 18:2218:22, 11 May 2020 DannyS712 bot talk contribs m 16,805 bytes +216 Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

curprev 13:4713:47, 22 March 2020 Citation bot talk contribs m 16,589 bytes +16 Add: chapter-url. Removed or converted URL. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Activated by User:AManWithNoPlan | All pages linked from User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked undo

curprev 09:1309:13, 18 December 2019 2001:bf8:200:ff99:fcc2:9ae2:3a53:fd25 talk 16,573 bytes +2 Fixing minor typos undo Tag: Visual edit

curprev 17:4717:47, 29 August 2019 Pyschobbens talk contribs m 16,571 bytes +15 →Syntax and semantics undo

curprev 23:1723:17, 29 June 2019 2601:445:437f:fe66:38ca:e3d7:af7c:f930 talk 16,556 bytes −3 →Syntax and semantics undo
curprev 23:1623:16, 29 June 2019 2601:445:437f:fe66:38ca:e3d7:af7c:f930 talk 16,559 bytes +4 No edit summary undo
curprev 23:1523:15, 29 June 2019 2601:445:437f:fe66:38ca:e3d7:af7c:f930 talk 16,555 bytes 0 No edit summary undo

curprev 06:3906:39, 6 February 2019 Verif-expert talk contribs m 16,555 bytes −7 grammatical corrections undo Tag: Visual edit

curprev 23:4823:48, 6 January 2018 Vasantharam talk contribs 16,562 bytes 0 →SERE-style operators undo Tags: Mobile edit Mobile web edit

curprev 15:1315:13, 8 September 2017 KolbertBot talk contribs m 16,562 bytes +1 Bot: HTTP→HTTPS undo

curprev 09:0309:03, 26 May 2017 Cedar101 talk contribs m 16,561 bytes +171 →LTL-style operators: {{code}} undo
curprev 09:0009:00, 26 May 2017 Cedar101 talk contribs 16,390 bytes −323 replace {{color}} to {{mono}} for WP:COLOR undo
curprev 08:5608:56, 26 May 2017 Cedar101 talk contribs m 16,713 bytes +21 →SERE-style operators: inline undo
curprev 08:5508:55, 26 May 2017 Cedar101 talk contribs m 16,692 bytes −135 →SERE-style operators: {{mono}} undo

curprev 16:1816:18, 25 May 2017 12.12.163.130 talk 16,827 bytes +1 →LTL-style operators undo
curprev 16:1316:13, 25 May 2017 12.12.163.130 talk 16,826 bytes 0 →SERE-style operators undo

curprev 15:0715:07, 9 December 2016 John of Reading talk contribs m 16,826 bytes 0 Typo/general fixes, replaced: a.k.a → a.k.a. (2) using AWB undo

curprev 12:1812:18, 23 November 2016 147.171.42.193 talk 16,826 bytes +1 →LTL-style operators undo

curprev 01:0401:04, 18 November 2016 Me, Myself, and I are Here talk contribs m 16,825 bytes 0 →SERE-style Operators: cap undo
curprev 01:0301:03, 18 November 2016 Me, Myself, and I are Here talk contribs 16,825 bytes −2 cap, bold, simplify heaidng undo

curprev 10:3910:39, 24 August 2016 132.230.150.93 talk 16,827 bytes +1 No edit summary undo

curprev 05:3605:36, 17 August 2016 ConcreteCobbler talk contribs 16,826 bytes 0 Fix the syntax for strong and weak implication operators to match the order of the descriptions undo Tag: Visual edit

curprev 09:4909:49, 20 July 2016 Vargenau talk contribs 16,826 bytes −7 sorting undo

curprev 17:4117:41, 25 April 2016 142.137.114.54 talk 16,833 bytes +2 Added missing ending quotation marks in the Syntax and Semantics section undo

curprev 21:4421:44, 13 November 2015 AManWithNoPlan talk contribs 16,831 bytes −281 →References undo
curprev 21:4121:41, 13 November 2015 AManWithNoPlan talk contribs 17,112 bytes +699 Assisted by Citation bot undo

curprev 08:0908:09, 4 September 2015 Dexbot talk contribs m 16,413 bytes +580 Bot: Deprecating Template:Cite doi and some minor fixes undo

curprev 02:0902:09, 19 August 2015 Cedar101 talk contribs m 15,833 bytes +144 →Syntax and Semantics: <source lang="text"> undo

curprev 04:2904:29, 5 August 2015 BG19bot talk contribs m 15,689 bytes −4 WP:CHECKWIKI error fix. Section heading problem. Violates WP:MOSHEAD. undo

curprev 17:3117:31, 3 August 2015 Fismand talk contribs 15,748 bytes +1,012 corrected formulas and text relating to the added figures undo
curprev 17:0217:02, 3 August 2015 Fismand talk contribs 14,736 bytes +55 moved the history to a history section. I think it is more interesting to start with what PSL is about, rather than the circumstances in which it was created. undo
curprev 16:5116:51, 3 August 2015 Fismand talk contribs 14,681 bytes +1,857 Added description of the clock operator, and figures explaining both the trigger operator and the clock operator undo Tag: possible conflict of interest

Property Specification Language: Revision history

7 August 2025

31 July 2024

20 March 2023

27 December 2022

21 December 2022

30 June 2021

11 May 2020

22 March 2020

18 December 2019

29 August 2019

29 June 2019

6 February 2019

6 January 2018

8 September 2017

26 May 2017

25 May 2017

9 December 2016

23 November 2016

18 November 2016

24 August 2016

17 August 2016

20 July 2016

25 April 2016

13 November 2015

4 September 2015

19 August 2015

5 August 2015

4 August 2015

3 August 2015