Changes

#2 (Feb 9, 2023, 2:56:35 PM)

1. Clarify that clock is only determined from equations. (#3283) — noreply / githubweb
2. Deprecate fake packages for lookup. (#3290) — noreply / githubweb
3. Clarify encapsulated. (#3282) — noreply / githubweb
4. Update mls.bib — noreply / githubweb

#2 (Feb 9, 2023, 2:56:35 PM)

1. Clarify that clock is only determined from equations. (#3283) — noreply / githubweb
2. Deprecate fake packages for lookup. (#3290) — noreply / githubweb
3. Clarify encapsulated. (#3282) — noreply / githubweb
4. Update mls.bib — noreply / githubweb