Jump to content

Talk:SPARK (programming language): 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 03:4203:42, 16 February 2025 LemurianPatriot talk contribs 3,726 bytes +47 Assessment (Low): banner shell, +Computing (Rater) undo

curprev 22:4822:48, 8 October 2024 BeardedChimp talk contribs 3,679 bytes +673 →History lacks creation date: new section undo Tag: New topic

curprev 22:4322:43, 13 August 2023 Qwerfjkl (bot) talk contribs m 3,006 bytes +37 Adding {{WikiProject banner shell}} (Task 19) undo

curprev 12:0312:03, 15 October 2009 Matt Crypto talk contribs 10,750 bytes +303 No edit summary undo

curprev 21:2021:20, 13 March 2009 SineBot talk contribs m 10,447 bytes +315 Signing comment by Parallelized - "adding open source project based on SPARK/ADA" undo
curprev 21:1921:19, 13 March 2009 Parallelized talk contribs m 10,132 bytes +81 adding open source project based on SPARK/ADA undo

curprev 23:0023:00, 4 May 2008 SineBot talk contribs m 10,051 bytes +280 Signing comment by Parallelized - "→Resources: " undo
curprev 22:5922:59, 4 May 2008 Parallelized talk contribs m 9,771 bytes +61 →Resources undo

curprev 11:4611:46, 28 January 2008 SineBot talk contribs m 9,710 bytes +285 Signing comment by Parallelized - "quoting background info from manufacturer's website" undo
curprev 11:4411:44, 28 January 2008 Parallelized talk contribs m 9,425 bytes +2,673 quoting background info from manufacturer's website undo

curprev 11:4011:40, 27 January 2008 82.83.65.29 talk 6,752 bytes +874 adding various links to papers providing background information about SPARK, Ada and their use in high integrity systems: still needs to be revamped and cleaned up undo

curprev 09:3209:32, 26 January 2008 SineBot talk contribs m 5,878 bytes +246 Signing comment by 82.83.76.5 - "→Resources: " undo
curprev 09:3009:30, 26 January 2008 82.83.76.5 talk 5,632 bytes +60 →Resources undo

curprev 22:5022:50, 30 December 2007 SineBot talk contribs m 5,572 bytes +256 Signing comment by 82.83.112.152 - "→Resources: " undo
curprev 22:4822:48, 30 December 2007 82.83.112.152 talk 5,316 bytes +114 →Resources undo
curprev 20:4720:47, 30 December 2007 SineBot talk contribs m 5,202 bytes +256 Signing comment by 82.83.112.152 - "" undo
curprev 20:4620:46, 30 December 2007 82.83.112.152 talk 4,946 bytes +57 No edit summary undo

curprev 03:1903:19, 27 August 2007 66.92.232.102 talk 4,889 bytes +2 fixed typos undo

curprev 14:0614:06, 1 October 2006 Pi Delport talk contribs m 4,887 bytes 0 moved Talk:SPARK programming language to Talk:SPARK (programming language): naming convention undo

curprev 07:1307:13, 22 February 2006 Krischik talk contribs m 4,887 bytes 0 move line undo

curprev 09:2709:27, 21 February 2006 Rod Chapman talk contribs 4,887 bytes +944 No edit summary undo

curprev 16:1716:17, 18 February 2006 Derek farn talk contribs 1,236 bytes +584 Shining white free of any dark corners undo

curprev 02:5602:56, 10 January 2006 Leland McInnes talk contribs 652 bytes +401 No edit summary undo

curprev 22:3722:37, 9 January 2006 68.151.20.123 talk 251 bytes +251 SPARK comment

Retrieved from "https://en.wikipedia.org/wiki/Talk:SPARK_(programming_language)"