proxima

Repository for the Proxima generic editor (minus the generic part)

See the wiki for more information.

Name	Name	Last commit message	Last commit date
Latest commit Oblosys Use ghc-9.2.7 for Docker deployment May 19, 2023 0ebcf00 · May 19, 2023 History 2,831 Commits
.vscode	.vscode	Disable VS Code whitespace trim	May 17, 2023
dazzle-editor	dazzle-editor	Use ghc-9.2.7 for Docker deployment	May 19, 2023
helium-editor	helium-editor	Use ghc-9.2.7 for Docker deployment	May 19, 2023
invEditor	invEditor	Update link in User Manual button	May 18, 2023
minimalEditor	minimalEditor	Don't call ghc on make default	May 18, 2023
multi-editor	multi-editor	Use ghc-9.2.7 for Docker deployment	May 19, 2023
papers	papers	Add .gitignore files based on old svn ignore patterns	Jun 27, 2014
screenshots	screenshots		Aug 14, 2008
scripts	scripts	Use cabal newstyle build & sandboxed build-tools build	Jul 18, 2017
uuagc	uuagc	Added stable version of uu libraries and ag system to Proxima reposit…	Jul 21, 2009
wiki-attachments	wiki-attachments	Add wiki attachments	Mar 2, 2017
.dockerignore	.dockerignore	Generate AG's and scannerSheet on build	May 18, 2023
.gitignore	.gitignore	Add Dockerfile & .dockerignore + Update .gitignore	Dec 28, 2019
.gitmodules	.gitmodules	Rename editor directories	Jul 17, 2017
Dockerfile	Dockerfile	Use ghc-9.2.7 for Docker deployment	May 19, 2023
README.md	README.md	Create README.md	Jul 17, 2017

Provide feedback