| Mon, 17 Jan 2005 17:45:03 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Mon, 17 Jan 2005 15:21:40 +0100 |
nipkow |
Removed div/mod ML code because it fails for 0.
|
changeset |
files
|
| Fri, 14 Jan 2005 12:00:27 +0100 |
nipkow |
made diff_less a simp rule
|
changeset |
files
|
| Thu, 13 Jan 2005 14:56:37 +0100 |
berghofe |
Added ChangeLog
|
changeset |
files
|
| Tue, 11 Jan 2005 14:47:47 +0100 |
berghofe |
Tuned.
|
changeset |
files
|
| Tue, 11 Jan 2005 14:20:45 +0100 |
berghofe |
Option for hiding proof scripts in documents.
|
changeset |
files
|
| Tue, 11 Jan 2005 14:19:08 +0100 |
berghofe |
Added -H option for hiding proof scripts and other commands.
|
changeset |
files
|
| Tue, 11 Jan 2005 14:18:06 +0100 |
berghofe |
Swapped session.ML and isar_output.ML
|
changeset |
files
|
| Tue, 11 Jan 2005 14:16:30 +0100 |
berghofe |
Added flag for hiding proofs in documents to use_dir.
|
changeset |
files
|
| Tue, 11 Jan 2005 14:15:14 +0100 |
berghofe |
Added table of commands to be hidden in LaTeX output.
|
changeset |
files
|
| Tue, 11 Jan 2005 14:14:39 +0100 |
berghofe |
excursion_result now also passes previous state to presentation functions.
|
changeset |
files
|
| Tue, 11 Jan 2005 14:08:07 +0100 |
berghofe |
Implemented hiding of proofs and other commands.
|
changeset |
files
|