Instal
Eclipse Classic : http://www.eclipse.org/downloads/
Android SDK: http://developer.android.com/sdk/installing/index.html
- Download Android version: 8,10,16
SICStus Prolog : http://www.sics.se/sicstus/products4/
- Login name: "sicstus4" password: "DTTCke9m"
- Your license information for platform 'x86-win32-nt-4' is as follows:
- Decryption key: vaegmsikjrtkSite
- name: studentSP4idi.ntnu.no
- License code: 32b9-apm8-tqzn-cng8-nhos
- Expiration date: permanent
Eclipse plugins:
ADT plugin: https://dl-ssl.google.com/android/eclipse/
- Set the SVN interface:
- Window-Preferences - Team - SVN
- Choose SVN interface client: SVNKit
- Busstuc: http://basar.idi.ntnu.no/svn/busstuc
- Alt+K -> compile busstuc
- Alt+F3 -> show def
SICStus spider: http://www.sics.se/sicstus/spider/site/prerequisites.html