Skip to content

History / Development Setup

Revisions

  • add a "What's next?" section to the development setup page

    @miestrode miestrode committed May 4, 2025
  • update development setup section with more accurate information about pip

    @miestrode miestrode committed Apr 19, 2025
  • follow wiki guidelines

    @miestrode miestrode committed Dec 10, 2024
  • de-pdm-ify the explanations, expand development setup page

    @miestrode miestrode committed Dec 10, 2024
  • Fix links, add comments in RSP version 1 page examples, make reference to introduction in RSP page clearer, mention how to clone PDDLSIM in Development Setup page

    @miestrode miestrode committed Oct 14, 2024
  • Finish summary of rsp protocol, use native admonitions

    @miestrode miestrode committed Sep 3, 2024
  • Remove titles

    @miestrode miestrode committed Sep 3, 2024
  • continue expanding wiki

    @miestrode miestrode committed Sep 3, 2024