Skip to content

Frege/eclipse-plugin

master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
lib
 
 
 
 
 
 
 
 
 
 
 
 
 
 

What is fregIDE?

fregIDE is an Eclipse plugin that supports the frege programming language.

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)

If you experience the same, try this alternative URL.

Please also read the tutorial that describes the installation in detail.

What does it look like?

Here is a Screenshot

About

The eclipse plugin for frege, codename fregIDE

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages