The MINLOG System

• About
• Documentation
• Installation
• ProofGeneral
• Mailing List

Installation

• From source (Linux)
• From source (Windows)
• Debian and Ubuntu
• From Subversion

How to install from source (Linux)

Download MINLOG 4.0 or the SVN snapshot, uncompress it, and build it:

At the command line, in the directory where you have downloaded minlog:

 > tar xvf minlog.tar.gz

A minlog directory , in the current directory should have been extracted, change to this directory:

 > cd minlog

build minlog:

 > make

You are now ready to use it!

How to install from source (Windows)

1. Prerequisites: Download and install the latest version of petite scheme (at the time of the writing this is petite scheme Version 7.3). Make sure that no spaces are in the path to the Petite-Scheme binary, otherwise you might run into trouble in step 4. Download emacs for windows from eg. ntemacs and install it. Other scheme implementations and other emacs versions have not been tested.
2. Getting Minlog: Download the SVN snapshot. Use winzip or another archive extracting program of your choice to extract the content of the archive.
3. Replacing the minlogpath: Search the content of the files for the string "---MINLOGPATH---" and "---MINLOGELPATH---" and replace it by the string 'C:\\path\\to\\minlog' [1], where 'C:\path\to\minlog' is the path to the minlog directory. This should affect the files 'init.scm' and 'minlog.el' in the 'src/' directory. The other files containing "---MINLOGPATH---" are not used under Windows.
4. Edit minlog.el: Edit src/minlog.el. Replace the section "which scheme to use ?" by the line '(setq scheme "C:\\path\\to\\petite\\petite.exe" )'. [1]
5. Placing the files: Copy 'minlog-mode.el' to a directory, where emacs can find it, eg. 'C:\path\to\emacs\site-lisp\minlog-mode.el'. Copy 'minlog/src/init.scm' to 'minlog/init.scm'. Copy 'minlog/src/minlog.el' to 'minlog/minlog.el'.
6. Updating minitab.scm: Delete 'src/minitab.scm'. At a commandline promt go to the 'src/' directory. Issue "C:\path\to\scheme\petite.exe grammar.scm > grammar.log"
7. Documentation: For the installation of the documentation a Latex-environment for Windows (eg. MiKTeX) is needed. In the directory 'doc/' compile the files '*.tex' to get the complete available documentation.
8. Shortcut: Create a shortcut to "C:\path\to\emacs\bin\runemacs.exe -l C:\path\to\minlog\minlog.el"
9. Start: Doubleclick the newly created icon to start minlog.

Annotation: [1] Double backslashes are intended.

Remark: It seems to be mandatory to use the whole path when invoking the scheme command load under windows, e.g.

 (load D:\\path\\to\\minlog\\examples\\tutorial.scm)

 (load tutorial.scm). 

How to install debian package (for Debian and Ubuntu) With apt-get

Use the following apt-get source (either added to /etc/apt/sources.list or as additional package source in Synaptics or similar programs):

 deb http://www.math.lmu.de/~logik/download/debian ./
 deb-src http://www.math.lmu.de/~logik/download/debian ./

Update the package information and install the package:

 > apt-get update
 > apt-get install minlog

That's it! Startup Minlog:

 > minlog

Manually with dpkg

Download the debian package: minlog-latest.deb

At the command line, in the directory where you have downloaded the minlog package:

 > sudo dpkg -i minlog-latest.deb

How to set up access to minlog through Subversion (svn)

Requirements

• you work locally as member of group 6

• you work remotely with internet connection
• you need svn installed on your local system (ask your system administrator)
• you need a local account as member of group 6 (ask Kenji Miyamoto)

How to set it up

If you work localy as member of group 6

Just go to a directory where you want to have the minlog subdirectory, e.g.

 cd ~/development

and now do

 svn checkout file:///home/math/logik/minlog/svn/trunk minlog

That's all. It will create ~/development/minlog and all its subdirectories. See How to use it below. If you work remotely with internet connection

 svn checkout svn+ssh://@math60.math.lmu.de/home/math/logik/minlog/svn/trunk minlog

where <user> must be your user name on math60. Thats all. It will ask you for your password on math60 and will create ~/development/minlog and all its subdirectories. See How to use it below.

How to use it

Basically, you change into your minlog directory and type

 svn update

and it will compare your local version with the official version on math60 and update all files as needed. If you changed a file and it was changed on math60 at the same time, you get a merged version of the file with your changes and the other changes, and you have to consolidate both texts. If you messed up a file completely, you can always delete the file and use svn update to get the file back from the repository.

 make

and it will make all the files that depend on other files and give you a working system.

 svn commit

and it will put the files that you have changed back into the repository on math60. The command will open an editor and ask you for a comment on the changes. This comment will be emailed to all minloggers and stored in the repository.

There are many more ways to use svn. Use "man svn" to find out more or see http://svnbook.red-bean.com/ for a good introduction

By Kenji Miyamoto, Stefan Schimanski.