Hello Martha,
- you can check Tags · ARMmbed/mbed-os (github.com) and copy commit link of requested MbedOs version
- also you can achieve it without links, you can do it directly in the Online compiler via Revision button on top panel.
- or right click in
mbed-os
library in your project and selectRevisions...
, and then in the list chose version what do you want and hitSwitch
button above the list . In this list you can found only few revisions (MbedOS 5.15 and above), from github you are albe to download much more, much older.
BTW what do you mean with this?
BR, Jan