History / Developer Manual Integrate Language Server Into Client

adopt renaming from sts4 / spring tools 4 / spring tool suite 4 -> spring tools

martinlippert committed Mar 27, 2025

restructure dev manual pages further

martinlippert committed Jan 10, 2021