From: Stefano Zacchiroli Date: Fri, 9 Jun 2006 19:50:21 +0000 (+0000) Subject: rewored website layout and internal structure: X-Git-Tag: make_still_working~7238 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e4807fdacd5b71bfd2e754f42f520d82fd178386;p=helm.git rewored website layout and internal structure: - moved menu bar to the left - added logo on the top left - added headings --- diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml index eebd71cc7..1dfd479fa 100644 --- a/helm/www/matita/community.shtml +++ b/helm/www/matita/community.shtml @@ -17,8 +17,8 @@ contributions. "Miki: a formal Mathematics wIKI" is the codename of the effort.

+ - diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 220ad057d..193be32a0 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -36,6 +36,7 @@

+ diff --git a/helm/www/matita/docs/manual/install.html b/helm/www/matita/docs/manual/install.html new file mode 100644 index 000000000..903066ae7 --- /dev/null +++ b/helm/www/matita/docs/manual/install.html @@ -0,0 +1,454 @@ + + + + + + Matita V0.1.0 + Manual (rev. 0) - Chapter 2. Installation + + +
+
+
+
+

Chapter 2. Installation

+
+
+
+
+

+ Table of Contents +

+
+
+ + Installing from sources + +
+
+
+
+ + Getting the source code + +
+
+ + Requirements + +
+
+ + Database setup + +
+
+ + Compiling and installing + +
+
+
+
+
+
+
+
+
+

Installing from sources

+
+
+
+

Currently, the only intended way to install Matita is starting + from its source code.

+
+
+
+
+

Getting the source code

+
+
+
+

You can get the Matita source code in two ways: +

+
+
    +
  1. +

    go to the download + page and get the latest released source tarball;

    +
    2. +
  2. +

    get the development sources from our + SVN repository. You will need the + components/ and + matita/ directories from the + trunk/helm/software/ directory, plus the + configure and Makefile* + stuff from the same directory.

    +

    In this case you will need to run + autoconf before proceding with the building + instructions below.

    +
    3. +
+
+

+

+
+
+
+
+
+

Requirements

+
+
+
+

In order to build Matita from sources you will need some + tools and libraries. They are listed below. + +

+
+

Note for Debian users

+

If you are running a Debian GNU/Linux distribution + you can have APT install all the required tools and libraries by + adding the following repository to your + /etc/apt/sources.list:

+ 
+	      deb http://people.debian.org/~zack unstable helm
+
+

and installing the + helm-matita-deps package.

+
+

+ +

+
+

+ Required tools and libraries +

+
+
+ + + OCaml + + +
+
+

the Objective Caml compiler, version 3.09 or above

+
+
+ + + Findlib + + +
+
+

OCaml package manager, version 1.1.1 or above

+
+
+ + + OCaml + Expat + + +
+
+

OCaml bindings for the expat + library

+
+
+ + + GMetaDOM + + +
+
+

OCaml bindings for the Gdome 2 + library

+
+
+ + + OCaml + HTTP + + +
+
+

OCaml library to write HTTP daemons (and clients)

+
+
+ + + LablGTK + + +
+
+

OCaml bindings for the GTK+ library + , version 2.6.0 or above

+
+
+ GtkMathView + , + + + LablGtkMathView + + +
+
+

GTK+ widget to render MathML documents and its + OCaml bindings

+
+
+ GtkSourceView + , + + + LablGtkSourceView + + +
+
+

extension for the GTK+ text widget (adding the typical + features of source code editors) and its OCaml bindings

+
+
+ MySQL , + + + OCaml + MySQL + + +
+
+

SQL database and OCaml bindings for its client-side library +

+

The SQL database itself is not strictly needed to run + Matita, but we stronly encourage its use since a lot of + features are disabled without it. Still, the OCaml bindings of + the library are needed at compile time.

+
+
+ + + Ocamlnet + + +
+
+

collection of OCaml libraries to deal with + application-level Internet protocols and conventions

+
+
+ + + ulex + + +
+
+

Unicode lexer generator for OCaml

+
+
+ + + CamlZip + + +
+
+

OCaml library to access .gz files +

+
+
+
+

+
+
+
+
+
+

Database setup

+
+
+
+

To fully exploit Matita indexing and search capabilities you + will need a working MySQL database. Detalied instructions on how to do + it can be found in the MySQL documentation. Here you + can find a quick howto.

+

In order to create a database you need administrator permissions on + your MySQL installation, usually the root account has them. Once you + have the permissions, a new database can be created executing + mysqladmin create matita + (matita is the default database name, you can + change it using the db.user key of the + configuration file).

+

Then you need to grant the necessary access permissions to the + database user of Matita, typing echo "grant all privileges + on matita.* to helm;" | mysql matita should do the trick + (helm is the default user name used by Matita to + access the database, you can change it using the + db.user key of the configuration file). +

+
+

Note

+

This way you create a database named matita + on which anyone claiming to be the helm user can + do everything (like adding dummy data or destroying the contained + one). It is strongly suggested to apply more fine grained permissions, + how to do it is out of the scope of this manual.

+
+
+
+
+
+
+

Compiling and installing

+
+
+
+

Once you get the source code the installations steps should be + quite familiar.

+

First of all you need to configure the build process executing + ./configure. This will check that all needed + tools and library are installed and prepare the sources for compilation + and installation.

+

Quite a few (optional) arguments may be passed to the + configure command line to change build time + parameters. They are listed in the table below, together with their + default values. + +

+
+ +

+ Table 2.1.  configure command line + arguments +

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
ArgumentDefaultDescription
+ + --with-runtime-dir=dir + + + /usr/local/matita/ + +

Runtime base directory where all Matita stuff + (executables, configuration files, standard + library, ...) will be installed

+
+ + --with-dbhost=host + + localhost +

Default SQL server hostname. Will be used while + building the standard library during the installation and to + create the default Matita configuration. May be changed + later in configuration file.

+
+ + --enable-debug + + disabled +

Enable debugging code. Not for the casual user. +

+
+
+

+ +

+

Then you will manage the build and install process using + make + as usual. Below are reported the targets you have to invoke in sequence + to build and install. + +

+
+

+ make targets +

+
+
+ + + world + + +
+
+

builds components needed by Matita and Matita itself + (in bytecode only or in both bytecode and native code depending + on the availability of the OCaml native code compiler)

+
+
+ + + library + + +
+
+

uses the (just built) matitac + compiler to build the Matita standard library.

+

For this step you will need a working SQL database (for + indexing the standard library while you are compiling it). See + Database setup + for instructions on how to set it up.

+
+
+ + + install + + +
+
+

installs Matita related tools, standard library and the + needed runtime stuff in the proper places on the filesystem +

+
+
+
+

+ +

+
+
+
+ + diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml index 361fdb0a6..7718cf4cc 100644 --- a/helm/www/matita/documentation.shtml +++ b/helm/www/matita/documentation.shtml @@ -8,6 +8,7 @@

Matita Documentation

+

User manual

We are working on the user manual of Matita. The current status is @@ -17,8 +18,9 @@ matita/help directory (in DocBook format)

+ +
- diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index af333712f..94ec8dc6a 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -8,29 +8,36 @@

Download Matita!

-

Sources

-

+ +

Releases

Matita has no official releases yet. - Still, you can get and build Matita from sources. - All our source code is released under the terms of the GNU General - Public Licence and is publically accessible on our svn repository. + +

License

+ All our source code is released under the terms of the GNU General Public + Licence and is publically accessible on our Subversion repository. + +

Subversion repository

+

+ You can browse our svn repository directly on the web.

To checkout a copy of the sources type: - 

-    svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
-    cd software
-    svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
-    svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita
-
+ 
+svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
+cd software/
+svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
+svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita
+

Once you got the sources, have a look at the - installation instructions on how to build and + installation instructions on how to build and install Matita from sources.

+
- diff --git a/helm/www/matita/install.html b/helm/www/matita/install.html deleted file mode 100644 index 903066ae7..000000000 --- a/helm/www/matita/install.html +++ /dev/null @@ -1,454 +0,0 @@ - - - - - - Matita V0.1.0 - Manual (rev. 0) - Chapter 2. Installation - - -
-
-
-
-

Chapter 2. Installation

-
-
-
-
-

- Table of Contents -

-
-
- - Installing from sources - -
-
-
-
- - Getting the source code - -
-
- - Requirements - -
-
- - Database setup - -
-
- - Compiling and installing - -
-
-
-
-
-
-
-
-
-

Installing from sources

-
-
-
-

Currently, the only intended way to install Matita is starting - from its source code.

-
-
-
-
-

Getting the source code

-
-
-
-

You can get the Matita source code in two ways: -

-
-
    -
  1. -

    go to the download - page and get the latest released source tarball;

    -
    2. -
  2. -

    get the development sources from our - SVN repository. You will need the - components/ and - matita/ directories from the - trunk/helm/software/ directory, plus the - configure and Makefile* - stuff from the same directory.

    -

    In this case you will need to run - autoconf before proceding with the building - instructions below.

    -
    3. -
-
-

-

-
-
-
-
-
-

Requirements

-
-
-
-

In order to build Matita from sources you will need some - tools and libraries. They are listed below. - -

-
-

Note for Debian users

-

If you are running a Debian GNU/Linux distribution - you can have APT install all the required tools and libraries by - adding the following repository to your - /etc/apt/sources.list:

- 
-	      deb http://people.debian.org/~zack unstable helm
-
-

and installing the - helm-matita-deps package.

-
-

- -

-
-

- Required tools and libraries -

-
-
- - - OCaml - - -
-
-

the Objective Caml compiler, version 3.09 or above

-
-
- - - Findlib - - -
-
-

OCaml package manager, version 1.1.1 or above

-
-
- - - OCaml - Expat - - -
-
-

OCaml bindings for the expat - library

-
-
- - - GMetaDOM - - -
-
-

OCaml bindings for the Gdome 2 - library

-
-
- - - OCaml - HTTP - - -
-
-

OCaml library to write HTTP daemons (and clients)

-
-
- - - LablGTK - - -
-
-

OCaml bindings for the GTK+ library - , version 2.6.0 or above

-
-
- GtkMathView - , - - - LablGtkMathView - - -
-
-

GTK+ widget to render MathML documents and its - OCaml bindings

-
-
- GtkSourceView - , - - - LablGtkSourceView - - -
-
-

extension for the GTK+ text widget (adding the typical - features of source code editors) and its OCaml bindings

-
-
- MySQL , - - - OCaml - MySQL - - -
-
-

SQL database and OCaml bindings for its client-side library -

-

The SQL database itself is not strictly needed to run - Matita, but we stronly encourage its use since a lot of - features are disabled without it. Still, the OCaml bindings of - the library are needed at compile time.

-
-
- - - Ocamlnet - - -
-
-

collection of OCaml libraries to deal with - application-level Internet protocols and conventions

-
-
- - - ulex - - -
-
-

Unicode lexer generator for OCaml

-
-
- - - CamlZip - - -
-
-

OCaml library to access .gz files -

-
-
-
-

-
-
-
-
-
-

Database setup

-
-
-
-

To fully exploit Matita indexing and search capabilities you - will need a working MySQL database. Detalied instructions on how to do - it can be found in the MySQL documentation. Here you - can find a quick howto.

-

In order to create a database you need administrator permissions on - your MySQL installation, usually the root account has them. Once you - have the permissions, a new database can be created executing - mysqladmin create matita - (matita is the default database name, you can - change it using the db.user key of the - configuration file).

-

Then you need to grant the necessary access permissions to the - database user of Matita, typing echo "grant all privileges - on matita.* to helm;" | mysql matita should do the trick - (helm is the default user name used by Matita to - access the database, you can change it using the - db.user key of the configuration file). -

-
-

Note

-

This way you create a database named matita - on which anyone claiming to be the helm user can - do everything (like adding dummy data or destroying the contained - one). It is strongly suggested to apply more fine grained permissions, - how to do it is out of the scope of this manual.

-
-
-
-
-
-
-

Compiling and installing

-
-
-
-

Once you get the source code the installations steps should be - quite familiar.

-

First of all you need to configure the build process executing - ./configure. This will check that all needed - tools and library are installed and prepare the sources for compilation - and installation.

-

Quite a few (optional) arguments may be passed to the - configure command line to change build time - parameters. They are listed in the table below, together with their - default values. - -

-
- -

- Table 2.1.  configure command line - arguments -

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
ArgumentDefaultDescription
- - --with-runtime-dir=dir - - - /usr/local/matita/ - -

Runtime base directory where all Matita stuff - (executables, configuration files, standard - library, ...) will be installed

-
- - --with-dbhost=host - - localhost -

Default SQL server hostname. Will be used while - building the standard library during the installation and to - create the default Matita configuration. May be changed - later in configuration file.

-
- - --enable-debug - - disabled -

Enable debugging code. Not for the casual user. -

-
-
-

- -

-

Then you will manage the build and install process using - make - as usual. Below are reported the targets you have to invoke in sequence - to build and install. - -

-
-

- make targets -

-
-
- - - world - - -
-
-

builds components needed by Matita and Matita itself - (in bytecode only or in both bytecode and native code depending - on the availability of the OCaml native code compiler)

-
-
- - - library - - -
-
-

uses the (just built) matitac - compiler to build the Matita standard library.

-

For this step you will need a working SQL database (for - indexing the standard library while you are compiling it). See - Database setup - for instructions on how to set it up.

-
-
- - - install - - -
-
-

installs Matita related tools, standard library and the - needed runtime stuff in the proper places on the filesystem -

-
-
-
-

- -

-
-
-
- - diff --git a/helm/www/matita/menubar.shtml b/helm/www/matita/menubar.shtml index a7295b0d5..8e0043a49 100644 --- a/helm/www/matita/menubar.shtml +++ b/helm/www/matita/menubar.shtml @@ -1,7 +1,10 @@
- Matita Home - Development - Documentation - Community - Download -
+ + + diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css index 6de52ec94..67b4cf03b 100644 --- a/helm/www/matita/style.css +++ b/helm/www/matita/style.css @@ -4,8 +4,6 @@ body { font-size: 12pt; background-image: url(images/sheetbg.png); background-repeat: repeat; - margin-left: 7%; - margin-right: 7%; } samp.tiny { @@ -13,7 +11,6 @@ samp.tiny { } div.main h1 { - font-family: sans-serif; font-size: 18pt; color: #808080; @@ -21,27 +18,20 @@ div.main h1 { } div.main h2 { - font-family: sans-serif; font-size: 16pt; color: #808080; - border-style: none; border-bottom-style: solid; border-width: 3px; border-color: #cb8080; - width: 70%; - - margin-right: auto; } div.main h3 { - font-family: sans-serif; font-size: 14pt; color: #808080; } div.main h4 { - font-family: sans-serif; font-size: 13pt; color: #808080; } @@ -53,30 +43,24 @@ ul { list-style-type: none; } -div.menu a { +div.menu ul li { color: #591622; - background-color: transparent; - - font-family: sans-serif; font-style : italic; - text-decoration : none; + border-bottom-style: solid; border-color: #cb8080; - border-bottom-width: 3px; - border-top-width: 0px; - border-left-width: 0px; - border-right-width: 0px; - border-style: solid; + margin-bottom: 10px; +} - margin-right:20px; +div.menu ul li a { + text-decoration: none; } a.menu:hover { color: #591622; text-decoration : none; background-color: #ecf6f9; - } a { @@ -91,16 +75,25 @@ a:hover { } div.menu { - display: block; - width: auto; - text-align:center; - margin-bottom: 40px; + position: absolute; + left: 0px; + width: 150px; + padding-top: 140px; + background: url(images/matita-small.png); + background-repeat: no-repeat; + background-position: 1cm top; +} + +div.main { + position: absolute; + top: 0px; + left: 200px; + width: 650px; } div.bottombar { display: block; width: auto; - text-align:right; margin-top: 40px; } @@ -108,10 +101,9 @@ div.uplined { height: auto; padding-top: 10px; width: 40%; - margin-left:auto; + border-color: #cb8080; border-top-style: solid; border-top-width: 3px; - border-color: #cb8080; } a.quiet:link,visited,hover { @@ -125,3 +117,8 @@ a.quiet img { border-style:none; } +pre.code { + margin-left: 2em; + font-size: 95%; +} +