Navigation
Special Pages
- Recent changes

User
- Log in

Summary of B Syntax: Revision history

View logs for this page

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 11:3411:34, 15 April 2024‎ Jan Gruteser talk contribs‎ m 23,062 bytes −11‎ →‎Definitions:
curprev 11:2911:29, 15 April 2024‎ Jan Gruteser talk contribs‎ 23,073 bytes +99‎ →‎Definitions:: add ref to uml
curprev 11:2311:23, 15 April 2024‎ Jan Gruteser talk contribs‎ 22,974 bytes +141‎ →‎Definitions:: add ref to CUSTOM_GRAPH

curprev 10:5510:55, 23 February 2024‎ Jan Gruteser talk contribs‎ m 22,833 bytes +1‎ →‎Freetypes: fix typo
curprev 09:5709:57, 23 February 2024‎ Michael Leuschel talk contribs‎ 22,832 bytes +80‎ →‎Differences with AtelierB/B4Free
curprev 09:5609:56, 23 February 2024‎ Michael Leuschel talk contribs‎ 22,752 bytes +92‎ →‎Strings:

curprev 16:2616:26, 11 January 2024‎ Jan Gruteser talk contribs‎ m 22,660 bytes +48‎ →‎LET and IF-THEN-ELSE: add ELSIF for predicates

curprev 14:1114:11, 18 December 2023‎ Michael Leuschel talk contribs‎ 22,612 bytes +189‎ →‎Differences with AtelierB/B4Free
curprev 14:1114:11, 18 December 2023‎ Michael Leuschel talk contribs‎ 22,423 bytes +385‎ →‎File Extensions

curprev 15:4315:43, 26 April 2023‎ Michael Leuschel talk contribs‎ 22,038 bytes +281‎ →‎Differences with AtelierB/B4Free
curprev 15:4215:42, 26 April 2023‎ Michael Leuschel talk contribs‎ 21,757 bytes +33‎ →‎Differences with AtelierB/B4Free
curprev 15:4115:41, 26 April 2023‎ Michael Leuschel talk contribs‎ 21,724 bytes +970‎ →‎Definitions:

curprev 08:2708:27, 26 June 2021‎ Michael Leuschel talk contribs‎ 20,754 bytes −4‎ →‎Reals:

curprev 17:3817:38, 4 February 2021‎ David Geleßus talk contribs‎ 20,758 bytes −73‎ Update wiki links

curprev 09:3809:38, 28 January 2021‎ Michael Leuschel talk contribs‎ 20,831 bytes +72‎ →‎Machine header:

curprev 14:2014:20, 19 November 2020‎ Michael Leuschel talk contribs‎ 20,759 bytes +14‎ →‎Reals:

curprev 13:0113:01, 5 November 2020‎ Michael Leuschel talk contribs‎ 20,745 bytes +948‎ →‎Trees:
curprev 13:0013:00, 5 November 2020‎ Michael Leuschel talk contribs‎ 19,797 bytes +479‎ →‎Strings:
curprev 12:5912:59, 5 November 2020‎ Michael Leuschel talk contribs‎ 19,318 bytes +82‎ →‎Numbers:

curprev 08:0408:04, 14 May 2020‎ Michael Leuschel talk contribs‎ 17,048 bytes +72‎ →‎Differences with AtelierB/B4Free
curprev 08:0408:04, 14 May 2020‎ Michael Leuschel talk contribs‎ 16,976 bytes +94‎ →‎Relations:

curprev 20:3920:39, 19 April 2018‎ Michael Leuschel talk contribs‎ 16,882 bytes +157‎ →‎Comments and Pragmas
curprev 18:1418:14, 19 April 2018‎ Michael Leuschel talk contribs‎ 16,725 bytes +66‎ →‎Comments and Pragmas
curprev 16:1816:18, 19 April 2018‎ Michael Leuschel talk contribs‎ 16,659 bytes +105‎ →‎Comments and Pragmas
curprev 16:0416:04, 19 April 2018‎ Michael Leuschel talk contribs‎ 16,554 bytes +558‎ →‎Comments and Pragmas

curprev 06:3106:31, 6 October 2017‎ Michael Leuschel talk contribs‎ 15,996 bytes +13‎ →‎Differences with AtelierB/B4Free
curprev 06:2806:28, 6 October 2017‎ Michael Leuschel talk contribs‎ 15,983 bytes +97‎ →‎Definitions:
curprev 06:2706:27, 6 October 2017‎ Michael Leuschel talk contribs‎ 15,886 bytes +230‎ →‎Comments and Pragmas

curprev 15:0815:08, 2 March 2017‎ Michael Leuschel talk contribs‎ 15,145 bytes +84‎ →‎Differences with AtelierB/B4Free
curprev 15:0815:08, 2 March 2017‎ Michael Leuschel talk contribs‎ 15,061 bytes +128‎ →‎Strings:

curprev 15:2915:29, 1 February 2017‎ Michael Leuschel talk contribs‎ 14,933 bytes +66‎ →‎Differences with AtelierB/B4Free
curprev 15:2615:26, 1 February 2017‎ Michael Leuschel talk contribs‎ 14,867 bytes −124‎ →‎Differences with AtelierB/B4Free
curprev 15:2115:21, 1 February 2017‎ Michael Leuschel talk contribs‎ 14,991 bytes +70‎ →‎Other notes

curprev 20:2120:21, 15 May 2016‎ Michael Leuschel talk contribs‎ 14,921 bytes +4‎ →‎LET and IF-THEN-ELSE
curprev 20:2120:21, 15 May 2016‎ Michael Leuschel talk contribs‎ 14,917 bytes +6‎ →‎LET and IF-THEN-ELSE
curprev 20:2020:20, 15 May 2016‎ Michael Leuschel talk contribs‎ 14,911 bytes +582‎ →‎Differences with AtelierB/B4Free
curprev 20:1620:16, 15 May 2016‎ Michael Leuschel talk contribs‎ 14,329 bytes +295‎ →‎Statements (aka Substitutions):

curprev 07:4307:43, 23 April 2016‎ Michael Leuschel talk contribs‎ 14,034 bytes +67‎ →‎Comments and Pragmas
curprev 07:4007:40, 23 April 2016‎ Michael Leuschel talk contribs‎ 13,967 bytes +127‎ →‎Pragmas

curprev 08:3108:31, 18 November 2015‎ Michael Leuschel talk contribs‎ 13,840 bytes −30‎ →‎Differences with AtelierB/B4Free
curprev 08:3008:30, 18 November 2015‎ Michael Leuschel talk contribs‎ 13,870 bytes +30‎ No edit summary

curprev 19:5219:52, 28 September 2015‎ Michael Leuschel talk contribs‎ 13,840 bytes +78‎ →‎Trees:
curprev 14:2514:25, 28 September 2015‎ Michael Leuschel talk contribs‎ 13,762 bytes +47‎ →‎Trees:
curprev 07:4907:49, 28 September 2015‎ Michael Leuschel talk contribs‎ 13,715 bytes +376‎ →‎Trees:

curprev 16:3116:31, 25 September 2015‎ Michael Leuschel talk contribs‎ 13,339 bytes +23‎ →‎Strings:
curprev 16:3016:30, 25 September 2015‎ Michael Leuschel talk contribs‎ 13,316 bytes +175‎ →‎Strings:
curprev 15:0715:07, 25 September 2015‎ Michael Leuschel talk contribs‎ 13,141 bytes −2‎ →‎Trees:
curprev 15:0715:07, 25 September 2015‎ Michael Leuschel talk contribs‎ 13,143 bytes +602‎ →‎Trees:

curprev 10:4610:46, 24 September 2015‎ Michael Leuschel talk contribs‎ 12,541 bytes +306‎ →‎Differences with AtelierB/B4Free

curprev 07:2907:29, 18 September 2014‎ Michael Leuschel talk contribs‎ 12,235 bytes +89‎ →‎Differences with AtelierB/B4Free

curprev 10:0410:04, 21 June 2013‎ Michael Leuschel talk contribs‎ 12,146 bytes +14‎ No edit summary

curprev 07:5607:56, 6 November 2012‎ Michael Leuschel talk contribs‎ 12,132 bytes −1‎ →‎Statements (aka Substitutions):
curprev 07:5607:56, 6 November 2012‎ Michael Leuschel talk contribs‎ 12,133 bytes +1‎ →‎Statements (aka Substitutions):
curprev 07:5607:56, 6 November 2012‎ Michael Leuschel talk contribs‎ 12,132 bytes 0‎ No edit summary

curprev 09:2709:27, 31 October 2012‎ Michael Leuschel talk contribs‎ 12,132 bytes −11‎ →‎Differences with AtelierB/B4Free
curprev 09:2609:26, 31 October 2012‎ Michael Leuschel talk contribs‎ 12,143 bytes +189‎ →‎Differences with AtelierB/B4Free

curprev 06:0106:01, 4 April 2012‎ Michael Leuschel talk contribs‎ 11,954 bytes +20‎ →‎Statements:
curprev 04:5904:59, 4 April 2012‎ Michael Leuschel talk contribs‎ 11,934 bytes +94‎ →‎Logical predicates:
curprev 04:5804:58, 4 April 2012‎ Michael Leuschel talk contribs‎ 11,840 bytes +191‎ →‎Logical predicates:

curprev 19:0619:06, 3 April 2012‎ Michael Leuschel talk contribs‎ 11,649 bytes +356‎ →‎Booleans:

curprev 13:0813:08, 30 March 2012‎ Michael Leuschel talk contribs‎ 11,293 bytes +10‎ →‎Numbers:
curprev 13:0813:08, 30 March 2012‎ Michael Leuschel talk contribs‎ 11,283 bytes +11,283‎ Created page with 'Category:Tutorial Category:User Manual == Summary of B Syntax == === Logical predicates: === <pre> P & Q conjunction P or Q disjunction P => Q impl…'

Retrieved from "https://prob.hhu.de/w/index.php?title=Summary_of_B_Syntax"