Help

Recent changes

Track the most recent changes to the wiki on this page.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 14:40, 26 April 2024
   
List of abbreviations:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes

24 April 2024

      12:13  B2SAT‎‎ 15 changes history +2,936‎ [Michael Leuschel‎ (15×)]
     
12:13 (cur | prev) +188‎ Michael Leuschel talk contribs (→‎B2SAT for TLA+, Z and Alloy)
     
10:59 (cur | prev) +340‎ Michael Leuschel talk contribs (→‎B2SAT for TLA+, Z and Alloy)
     
10:57 (cur | prev) +2,015‎ Michael Leuschel talk contribs
     
07:41 (cur | prev) +43‎ Michael Leuschel talk contribs (→‎B2SAT in the REPL)
     
07:40 (cur | prev) +2‎ Michael Leuschel talk contribs (→‎B2SAT in Jupyter Notebooks)
     
07:40 (cur | prev) +73‎ Michael Leuschel talk contribs (→‎B2SAT in Jupyter Notebooks)
     
07:38 (cur | prev) 0‎ Michael Leuschel talk contribs
     
07:38 (cur | prev) −125‎ Michael Leuschel talk contribs
     
07:35 (cur | prev) +44‎ Michael Leuschel talk contribs
     
07:34 (cur | prev) −89‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
07:32 (cur | prev) 0‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
07:31 (cur | prev) +6‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
07:30 (cur | prev) 0‎ Michael Leuschel talk contribs
     
07:28 (cur | prev) +96‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
07:28 (cur | prev) +343‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     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)
Retrieved from "https://prob.hhu.de/w/index.php?title=Special:RecentChanges"