User Tools

Site Tools


start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
start [2018/09/25 16:29]
sanjay [Tutorial / Examples]
start [2018/10/23 09:27]
sanjay [Installing AlphaZ and Getting Started]
Line 21: Line 21:
  
 ====== Installing AlphaZ and Getting Started ====== ====== Installing AlphaZ and Getting Started ======
-Instruction ​to setup AlphaZ for CS department accounts, and to install in an external machine ​is available in a separate page.\\ +To use AlphaZ on the CS department machines, follow the [[Eclipse Setup]]. 
-Operating systems other than MacOSX and Linux are not supported at this time.\\ +Instructions ​to set up an AlphaZ ​developer version ​for CS department accounts, and/or on an external machine are also available on the [[Eclipse Setup]] ​page.
-Support for 32bit Linux is limited, since we have very little access to 32bit machines.\\ +
-[[Eclipse Setup]]+
  
-Source for AlphaZ are available in our repository, but our system depends on Eclipse and plug-ins developed for Eclipse Modeling Framework as well. We also use a large number of plug-ins from CAIRN team at IRISA, Rennes. The repository structure of CSU and IRISA is outlined in this page : [[Source Access]]. However, it is not a complete list, and we recommend users to download the bundle and then checkout projects corresponding to where you would like to make changes.+Operating systems other than MacOSX and Linux are not supported at this time.  Support for 32bit Linux is limited, since we have very little access to 32bit machines. 
 + 
 +Source for AlphaZ are available in our repository, but our system depends on Eclipse and plug-ins developed for Eclipse Modeling Framework as well.  We also use a large number of plug-ins from CAIRN team at IRISA, Rennes. The repository structure of CSU and IRISA is outlined in this page : [[Source Access]]. However, it is not a complete list, and we recommend users to download the bundle and then checkout projects corresponding to where you would like to make changes.
 ====== Alphabets and Equational Programming ====== ====== Alphabets and Equational Programming ======
  
start.txt · Last modified: 2018/10/23 09:27 by sanjay