diff options
| author | Paul Buetow <paul@buetow.org> | 2026-03-01 17:45:51 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2026-03-01 17:45:51 +0200 |
| commit | a2f3245832307601c43a3760953653deb482f816 (patch) | |
| tree | f90d7b1d841ab657bb572641444590f5c053353d /gemfeed/DRAFT-distributed-systems-simulator.html | |
| parent | 834fe24994705a517c368b5810cd056ac0df41e2 (diff) | |
Update content for html
Diffstat (limited to 'gemfeed/DRAFT-distributed-systems-simulator.html')
| -rw-r--r-- | gemfeed/DRAFT-distributed-systems-simulator.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gemfeed/DRAFT-distributed-systems-simulator.html b/gemfeed/DRAFT-distributed-systems-simulator.html index aec4d171..9a9f51ef 100644 --- a/gemfeed/DRAFT-distributed-systems-simulator.html +++ b/gemfeed/DRAFT-distributed-systems-simulator.html @@ -164,7 +164,7 @@ Figure 1.2: Client/Server Protocols <br /> <ul> <li>Reset simulation: can only be activated when the simulation has been paused or has finished</li> -<li>Repeat simulation: cannot be activated if the simulation has not yet been started </li> +<li>Repeat simulation: cannot be activated if the simulation has not yet been started </li> <li>Pause simulation: can only be activated when the simulation is currently running</li> <li>Start simulation: can only be activated when the simulation is not currently running and has not yet finished</li> </ul><br /> @@ -274,7 +274,7 @@ Table 2.1: Color differentiation of processes and messages <ul> <li>Local Eventsi: Triggered when a specific local time of the associated process is reached</li> <li>Global Eventsi: (Expert Mode only): Triggered when a specific global simulation time is reached</li> -<li>Event Programmingi: Users can add events by: Right-clicking on a process bar and selecting "Insert local event", using the event editor in the sidebar or by sssssssssssthe event time and type</li> +<li>Event Programmingi: Users can add events by: Right-clicking on a process bar and selecting "Insert local event", using the event editor in the sidebar or by sssssssssssthe event time and type</li> </ul><br /> <h3 style='display: inline' id='event-types-available'>Event Types Available:</h3><br /> <br /> |