Track the most recent changes to the wiki on this page.
m 08:37 | TLA diffhist 0 Jan Gruteser talk contribs (→Understanding the type checker) |
m 12:29 | TLA diffhist +45 Jan Gruteser talk contribs (→Understanding the type checker) |
|
m 07:29 | TLA 3 changes history +153 [Jan Gruteser (3×)] | |||
m |
|
07:29 (cur | prev) 0 Jan Gruteser talk contribs (→Supported TLA+ syntax) | |||
m |
|
07:28 (cur | prev) +50 Jan Gruteser talk contribs (→Understanding the type checker) | |||
m |
|
07:27 (cur | prev) +103 Jan Gruteser talk contribs (→Supported TLA+ syntax: add real syntax) |
|
11:32 | Free Types 2 changes history +2,627 [Vella (2×)] | |||
|
11:32 (cur | prev) +67 Vella talk contribs | ||||
|
11:25 (cur | prev) +2,560 Vella talk contribs |
|
11:30 | (Upload log) [Vella; Michael Leuschel] | |||
|
11:30 Vella talk contribs uploaded File:Freetype example 1.png (IntList Free Type example) | ||||
|
07:35 Michael Leuschel talk contribs uploaded File:IceCreamCoverage.png |
07:14 | Download diffhist −48 Michael Leuschel talk contribs (→Latest Beta Release) |
|
13:38 | (Upload log) [Michael Leuschel (4×)] | |||
|
13:38 Michael Leuschel talk contribs uploaded File:JupyterSolveSat.png | ||||
|
13:37 Michael Leuschel talk contribs uploaded File:JupypterOpt3.png | ||||
|
13:37 Michael Leuschel talk contribs uploaded File:JupypterOpt2.png | ||||
|
13:37 Michael Leuschel talk contribs uploaded File:JupypterOpt1.png |
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) |