Skip to content

History / New Workspace Setup

Revisions

  • Update wiki content at 4cda392cf5e0e68b6bbf9b2e5d1b1512ddd37b24

    @drasil-bot drasil-bot committed Jul 25, 2024
  • Update wiki content at 6033d408e7224438ad231bde91c411d440745909

    @drasil-bot drasil-bot committed Jul 18, 2024
  • Update wiki content at ffe94f9049f8c75c6110e08e69e8be0931d924cc

    @drasil-bot drasil-bot committed Jun 13, 2024
  • Update wiki content at 594ab36e5ad52ae93f511f3c60a058350879154d

    @drasil-bot drasil-bot committed Jun 6, 2024
  • Updated New Workspace Setup (markdown)

    @balacij balacij committed May 13, 2024
  • #3725: hid OS specific details in html details nodes

    @BilalM04 BilalM04 committed May 13, 2024
  • Added a note about opening the code folder in VSCode to prevent HLS difficulties, as mentioned in #3723.

    @B-rando1 B-rando1 committed May 8, 2024
  • Updated New Workspace Setup (markdown)

    @hrzhuang hrzhuang committed Jul 21, 2023
  • Updated New Workspace Setup (markdown)

    @hrzhuang hrzhuang committed Jul 21, 2023
  • Updated New Workspace Setup (markdown)

    @smiths smiths committed May 25, 2023
  • Edits were made regarding issue #3373

    @janim2-2004 janim2-2004 committed May 5, 2023
  • #3056; add caveat to using Git Bash

    @samm82 samm82 committed Sep 28, 2022
  • #3056; add instructions for Windows Security blocking/deleting stack.exe to New Workspace Setup

    @samm82 samm82 committed Sep 27, 2022
  • Add a small note about clearing Haskell cache if the VSCode extension breaks

    @balacij balacij committed Apr 6, 2022
  • +Rewrap VS Code extension recommendation

    @balacij balacij committed Feb 25, 2022
  • Update Extension suggestions

    @balacij balacij committed Jan 31, 2022
  • Updated New Workspace Setup (markdown)

    @balacij balacij committed Jan 28, 2022
  • Make Windows WSL recommendation a bit more clear

    @balacij balacij committed Jan 28, 2022
  • Missed portion on make for cygwin

    @balacij balacij committed Jan 28, 2022
  • Remove leftover git remnant, and add Windows WSL as a recommendation)

    @balacij balacij committed Jan 28, 2022
  • Update recommendation for Windows users

    @balacij balacij committed Jan 28, 2022
  • GitLens recommendation

    @balacij balacij committed Nov 19, 2021
  • Updated New Workspace Setup (markdown)

    @balacij balacij committed Sep 25, 2021
  • Correct a typo

    Don Chen committed Sep 20, 2021
  • update PATH environment variable in Linux

    Don Chen committed Sep 20, 2021
  • add soluton of path environment variable for Linux Ubuntu

    Don Chen committed Sep 20, 2021
  • Updated New Workspace Setup (markdown)

    @balacij balacij committed Sep 11, 2021
  • add latex info from contributors guide to workspace setup

    @Ant13731 Ant13731 committed Aug 13, 2021
  • add doxygen instructions

    @Ant13731 Ant13731 committed Jul 27, 2021
  • Updated New Workspace Setup (markdown)

    @balacij balacij committed Jul 22, 2021