User contributions for Vella

13 June 2024

• 13:0713:07, 13 June 2024 diff hist +93‎ Summary of B Syntax ‎ →‎Differences with AtelierB/B4Free current
• 12:5112:51, 13 June 2024 diff hist +85‎ Summary of B Syntax ‎ →‎Other notes
• 12:4812:48, 13 June 2024 diff hist −10‎ Summary of B Syntax ‎ →‎File Extensions
• 12:4812:48, 13 June 2024 diff hist +360‎ Summary of B Syntax ‎ →‎Comments and Pragmas
• 12:4312:43, 13 June 2024 diff hist +868‎ Summary of B Syntax ‎ →‎Definitions
• 12:3512:35, 13 June 2024 diff hist +16‎ Summary of B Syntax ‎ →‎Machine inclusion
• 12:3512:35, 13 June 2024 diff hist −6‎ Summary of B Syntax ‎ →‎Machine inclusion
• 12:3412:34, 13 June 2024 diff hist +178‎ Summary of B Syntax ‎ →‎Machine sections
• 12:3212:32, 13 June 2024 diff hist −27‎ Summary of B Syntax ‎ →‎Machine header
• 12:3112:31, 13 June 2024 diff hist +7‎ Summary of B Syntax ‎ →‎Statements (aka Substitutions)
• 12:3012:30, 13 June 2024 diff hist +1‎ Summary of B Syntax ‎ →‎Statements (aka Substitutions)
• 12:3012:30, 13 June 2024 diff hist +533‎ Summary of B Syntax ‎ →‎Statements (aka Substitutions)
• 12:2712:27, 13 June 2024 diff hist −6‎ Summary of B Syntax ‎ →‎LET and IF-THEN-ELSE
• 12:2712:27, 13 June 2024 diff hist +341‎ Summary of B Syntax ‎ →‎LET and IF-THEN-ELSE
• 12:1812:18, 13 June 2024 diff hist +6‎ Summary of B Syntax ‎ →‎Trees
• 12:1612:16, 13 June 2024 diff hist +64‎ Summary of B Syntax ‎ →‎Reals
• 12:1612:16, 13 June 2024 diff hist +18‎ Summary of B Syntax ‎ →‎Reals
• 12:1612:16, 13 June 2024 diff hist +162‎ Summary of B Syntax ‎ →‎Reals
• 12:1312:13, 13 June 2024 diff hist +3‎ Summary of B Syntax ‎ →‎Strings
• 12:1312:13, 13 June 2024 diff hist +9‎ Summary of B Syntax ‎ →‎Strings