| Tue, 04 Oct 2005 14:37:06 +0200 |
haftmann |
better error handling
|
changeset |
files
|
| Tue, 04 Oct 2005 11:15:09 +0200 |
haftmann |
improved linktest
|
changeset |
files
|
| Tue, 04 Oct 2005 10:58:46 +0200 |
haftmann |
removed removed IntFloor
|
changeset |
files
|
| Tue, 04 Oct 2005 10:55:14 +0200 |
haftmann |
fixed broken link
|
changeset |
files
|
| Tue, 04 Oct 2005 10:52:43 +0200 |
haftmann |
fixed broken mailto: link
|
changeset |
files
|
| Tue, 04 Oct 2005 09:59:01 +0200 |
paulson |
fixed the ascii-armouring of goalstring
|
changeset |
files
|
| Tue, 04 Oct 2005 09:58:38 +0200 |
paulson |
reset clause counter
|
changeset |
files
|
| Tue, 04 Oct 2005 09:58:17 +0200 |
paulson |
theorems need names
|
changeset |
files
|
| Tue, 04 Oct 2005 09:19:17 +0200 |
haftmann |
support for setting local permissions
|
changeset |
files
|
| Tue, 04 Oct 2005 08:49:24 +0200 |
haftmann |
improved dependency build
|
changeset |
files
|
| Tue, 04 Oct 2005 08:14:15 +0200 |
haftmann |
added conf/ to .cvsignore
|
changeset |
files
|
| Fri, 30 Sep 2005 18:18:34 +0200 |
aspinall |
Add icon for interface.
Isabelle2005
|
changeset |
files
|
| Fri, 30 Sep 2005 17:54:04 +0200 |
aspinall |
Move welcomemsg and helpdoc to pgip_isar.xml
|
changeset |
files
|
| Fri, 30 Sep 2005 17:52:18 +0200 |
aspinall |
Add helpdocs and welcomemsg here instead of hard wiring in proof_general.ML.
|
changeset |
files
|
| Fri, 30 Sep 2005 17:33:22 +0200 |
aspinall |
Explanatory text
|
changeset |
files
|
| Fri, 30 Sep 2005 17:28:04 +0200 |
aspinall |
Schema files (for information, and validating pgip_isar.xml)
|
changeset |
files
|
| Fri, 30 Sep 2005 17:24:51 +0200 |
aspinall |
Schema for PGIP
|
changeset |
files
|
| Fri, 30 Sep 2005 15:28:43 +0200 |
wenzelm |
pruned notes about Poly/ML;
|
changeset |
files
|
| Fri, 30 Sep 2005 15:17:04 +0200 |
wenzelm |
converted to Isar theory format;
|
changeset |
files
|
| Fri, 30 Sep 2005 13:47:36 +0200 |
aspinall |
Initialise pgip id also for Emacs mode. Allow dynamic config file location for PGIP.
|
changeset |
files
|
| Fri, 30 Sep 2005 11:43:42 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 30 Sep 2005 10:58:11 +0200 |
aspinall |
Fix for guiconfig -> displayconfig element rename
|
changeset |
files
|
| Fri, 30 Sep 2005 09:52:46 +0200 |
paulson |
theorems need names
|
changeset |
files
|
| Thu, 29 Sep 2005 19:37:20 +0200 |
wenzelm |
refer to $PRG instead of (old) rsync-isabelle;
|
changeset |
files
|
| Thu, 29 Sep 2005 18:01:12 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Thu, 29 Sep 2005 17:09:11 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Thu, 29 Sep 2005 17:08:52 +0200 |
wenzelm |
pdfsetup.sty: better not rely on ifpdf.sty;
|
changeset |
files
|
| Thu, 29 Sep 2005 17:02:57 +0200 |
paulson |
simprules need names
|
changeset |
files
|