# The Mjølner System at DAIMI

This page describes various aspects of the Mjølner System installation at the Computer Science Department, Aarhus University (DAIMI). It is intended to be used by students and employees at DAIMI only.

### Location of the Mjølner System at DAIMI

There are two installations of the Mjølner System at DAIMI:

1. The installation to be used by courses, students etc. The Mjølner System for courses and students is located in
 /usr/local/lib/beta
Users of the new daimi-setup system can get the correct setup for the system simply by executing:
 daimi-setup --addon=/usr/local/lib/beta/daimi-setup/beta
If you have already done so, the addon is still valid.

The rest of you will have to do something similar to the following:

#### Adding the BETA menu

The BETA menu in Emacs 19 or later can be added using the beta-mode-hook:
 (defun mybeta () "Adds BETA menu" (interactive) (load "beta-menu19" t t) ) (setq beta-mode-hook 'mybeta)

#### Other useful thing to hook in

You may do more things using the beta-mode-hook. Here is a larger example:
 (defun mybeta () "Make the following local bindings in beta-mode: C-xC-rj calls beta-comment-justify C-xC-rC-r calls beta-comment-justify-region C-xC-rC-c calls beta-convert-region-to-comment C-xC-ru calls beta-remove-comment C-xC-ri calls indent-buffer. Also adds BETA menu and beta-hilit19. " (interactive) (local-set-key "\C-x\C-rj" 'beta-comment-justify) (local-set-key "\C-x\C-r\C-r" 'beta-comment-justify-region) (local-set-key "\C-x\C-r\C-c" 'beta-convert-region-to-comment) (local-set-key "\C-x\C-ru" 'beta-remove-comment) (local-set-key "\C-x\C-ri" 'indent-buffer) (load "beta-menu19" t t) (load "beta-hilit19" t t) ) (setq beta-mode-hook 'mybeta)

### How to get help

If you have problems with the Mjølner System, start by asking the person sitting next to you for help, or try to reach your instructor, possibly by e-mail.

If this does not help, try to look at the BETA Language FAQ.

You can also consult the course home pages, e.g.,

If you still need help, try posting the question to one or more of the following news groups, which is regularly read by teachers, and instructors.
Alternatively, if your question relates to BETA in general (and not, e.g. to details about the DAIMI installation), you can use the world-wide newsgroup

If you have the answer to another persons problem in these groups, please try to answer it in the news groups, and not by direct mail to the person - others may benefit from your answer.

### Related web pages

You can find more info about BETA at

### Reporting errors

If you encounter an error, that is not already described in the BETA Language FAQ. you should report it to your instructor. If you think that it is a general error in the Mjølner System, you can report the error to Please try to include source files, dumps etc. in your error report.

For errors and comments on online manuals it is possible to report comments, suggestions, typos, errors, etc. through:

### Commentary

In order to make this page as useful as possible, please send any questions, comments and suggestions to beta@cs.au.dk.