Track the most recent changes to the wiki on this page.
| 09:05 | Template:User Manual Index diffhist +34 Michael Leuschel talk contribs | ||||
| m 12:29 | Handbook/B Language diffhist +36 Jan Gruteser talk contribs (add Freetypes page) | ||||
| 12:25 | Free Types diffhist +920 Vella talk contribs | ||||
|
|
12:12 | Summary of B Syntax 5 changes history +84 [Vella (5×)] | |||
|
|
12:12 (cur | prev) +20 Vella talk contribs (→Freetypes) | ||||
|
|
12:11 (cur | prev) +1 Vella talk contribs (→Freetypes) | ||||
| m |
|
12:08 (cur | prev) +1 Vella talk contribs (→Freetypes) | |||
| m |
|
12:06 (cur | prev) +11 Vella talk contribs (→Freetypes) | |||
|
|
12:05 (cur | prev) +51 Vella talk contribs (→Freetypes: add link to dedicated page) | ||||
| 12:11 | Move log Vella talk contribs moved page Freetypes to Free Types | ||||
|
|
N 12:11 | Freetypes 2 changes history +441 [Vella (2×)] | |||
|
|
12:11 (cur | prev) +76 Vella talk contribs | ||||
| N |
|
12:02 (cur | prev) +365 Vella talk contribs (Created page with "Freetypes exist in Z and in the Rodin theory plugin and are supported by ProB. You can also define new freetypes in classical B by adding a FREETYPES clause with equations separated by semicolon. Here is a definition of an inductive type IntList for lists of integers constructed using inil and icons: <pre> FREETYPES IntList = inil, icons(INTEGER*IntList) </pre>") | |||
| 11:02 | User creation log User account Vella talk contribs was created by Michael Leuschel talk contribs and password was sent by email | ||||
|
|
11:34 | Summary of B Syntax 3 changes history +229 [Jan Gruteser (3×)] | |||
| m |
|
11:34 (cur | prev) −11 Jan Gruteser talk contribs (→Definitions:) | |||
|
|
11:29 (cur | prev) +99 Jan Gruteser talk contribs (→Definitions:: add ref to uml) | ||||
|
|
11:23 (cur | prev) +141 Jan Gruteser talk contribs (→Definitions:: add ref to CUSTOM_GRAPH) | ||||
|
|
11:36 | Tutorial Co-Simulation 3 changes history +101 [Michael Leuschel (3×)] | |||
|
|
11:36 (cur | prev) +118 Michael Leuschel talk contribs (→Overview) | ||||
|
|
10:31 (cur | prev) −154 Michael Leuschel talk contribs (→Overview) | ||||
|
|
10:30 (cur | prev) +137 Michael Leuschel talk contribs (→Overview) | ||||