https://github.com/frege/eclipse-plugin
The eclipse plugin for frege, codename fregIDE
https://github.com/frege/eclipse-plugin
Last synced: 9 months ago
JSON representation
The eclipse plugin for frege, codename fregIDE
- Host: GitHub
- URL: https://github.com/frege/eclipse-plugin
- Owner: Frege
- Created: 2012-10-11T08:55:30.000Z (over 13 years ago)
- Default Branch: master
- Last Pushed: 2019-09-14T09:05:43.000Z (almost 7 years ago)
- Last Synced: 2025-04-04T07:35:53.288Z (about 1 year ago)
- Language: Java
- Homepage:
- Size: 294 KB
- Stars: 31
- Watchers: 7
- Forks: 6
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
What is fregIDE?
================
*fregIDE* is an Eclipse plugin that supports the [frege programming language](https://github.com/Frege/).
You can install or upgrade *fregIDE* from the
installation/upgrade site at http://www.frege-lang.org/fregide/.
**UPDATE** It has come to my attention that the link above seems to have problems at times, like
- eclipse complains it is not an update site
- the download goes very slow and even times out (see also [Issue#10](https://github.com/Frege/eclipse-plugin/issues/10))
If you experience the same, try this [alternative URL](https://raw.githubusercontent.com/Frege/frege.github.com/master/fregide).
Please also read [the tutorial](https://github.com/Frege/eclipse-plugin/wiki/fregIDE-Tutorial) that describes the installation in detail.
What does it look like?
=======================
