| Fri, 09 May 2003 11:26:17 +0200 |
kleing |
leave error messages in error.log, send only one email for all platforms
|
changeset |
files
|
| Thu, 08 May 2003 17:44:38 +0200 |
paulson |
new theory Complex_Main as basis for analysis developments
|
changeset |
files
|
| Thu, 08 May 2003 15:23:21 +0200 |
paulson |
now refers to Complex and Complex_Main
|
changeset |
files
|
| Thu, 08 May 2003 13:37:51 +0200 |
kleing |
-> HOL-Complex-HahnBanach in clean target
|
changeset |
files
|
| Thu, 08 May 2003 13:36:07 +0200 |
kleing |
fix euro error
|
changeset |
files
|
| Thu, 08 May 2003 13:10:02 +0200 |
paulson |
removed obsolete references to HOL-Real
|
changeset |
files
|
| Thu, 08 May 2003 12:52:15 +0200 |
paulson |
HOL-Complex
|
changeset |
files
|
| Thu, 08 May 2003 12:51:55 +0200 |
paulson |
auto update
|
changeset |
files
|
| Thu, 08 May 2003 12:50:27 +0200 |
paulson |
HOL-Real -> HOL-Complex
|
changeset |
files
|
| Thu, 08 May 2003 10:35:24 +0200 |
paulson |
new version copied here
|
changeset |
files
|
| Wed, 07 May 2003 22:07:33 +0200 |
ballarin |
Small changes for release Isabelle 2003.
|
changeset |
files
|
| Wed, 07 May 2003 17:46:04 +0200 |
kleing |
use different main class for batch mode
|
changeset |
files
|
| Wed, 07 May 2003 17:41:23 +0200 |
kleing |
fixed javac warning
|
changeset |
files
|
| Wed, 07 May 2003 17:40:48 +0200 |
kleing |
fixed uncollapsed dirs (should be collapsed by default)
|
changeset |
files
|
| Wed, 07 May 2003 17:06:11 +0200 |
kleing |
target clean, compile Console.java
|
changeset |
files
|
| Wed, 07 May 2003 17:04:45 +0200 |
kleing |
cleanup, comments
|
changeset |
files
|
| Wed, 07 May 2003 16:58:17 +0200 |
berghofe |
Some tuning:
|
changeset |
files
|
| Wed, 07 May 2003 16:38:55 +0200 |
kleing |
eliminated dependencies on AWT for batch mode
|
changeset |
files
|
| Wed, 07 May 2003 14:53:35 +0200 |
kleing |
fixed HOL-Real-HahnBanach (-> HOL-Complex-HahnBanach)
|
changeset |
files
|
| Tue, 06 May 2003 17:45:54 +0200 |
paulson |
removal of the image HOL-Real and merging of HOL-Real-ex with HOL-Complex-ex
|
changeset |
files
|
| Tue, 06 May 2003 12:29:49 +0200 |
kleing |
use -Smax with poly 4.1.3 for maximum database space (see poly release notes)
|
changeset |
files
|
| Tue, 06 May 2003 10:47:17 +0200 |
kleing |
fixed missing -g true for HOL-Auth
|
changeset |
files
|
| Tue, 06 May 2003 10:40:43 +0200 |
paulson |
new version
|
changeset |
files
|
| Tue, 06 May 2003 09:23:13 +0200 |
kleing |
use /usr/stud/isatest as home for all platforms (macbroy33 has no /home/stud/..)
|
changeset |
files
|
| Mon, 05 May 2003 18:36:00 +0200 |
paulson |
new directory Complex
|
changeset |
files
|
| Mon, 05 May 2003 18:34:16 +0200 |
paulson |
Complex, etc
|
changeset |
files
|
| Mon, 05 May 2003 18:30:48 +0200 |
paulson |
deleted obsolete group formalization
|
changeset |
files
|
| Mon, 05 May 2003 18:23:40 +0200 |
paulson |
New material on integration, etc. Moving Hyperreal/ex
|
changeset |
files
|