| 2004-04-16 |
kleing |
describe how to work on Isabelle repository version
|
changeset |
files
|
| 2004-04-16 |
kleing |
make weblint happy
|
changeset |
files
|
| 2004-04-16 |
kleing |
updated, tuned
|
changeset |
files
|
| 2004-04-16 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| 2004-04-16 |
wenzelm |
tuned;
|
changeset |
files
|
| 2004-04-16 |
wenzelm |
session graph;
|
changeset |
files
|
| 2004-04-16 |
wenzelm |
tuned document;
|
changeset |
files
|
| 2004-04-16 |
kleing |
add feature list
|
changeset |
files
|
| 2004-04-16 |
kleing |
add faq
|
changeset |
files
|
| 2004-04-16 |
kleing |
add link to FAQ
|
changeset |
files
|
| 2004-04-16 |
kleing |
add Isabelle2003 to archive
|
changeset |
files
|
| 2004-04-15 |
wenzelm |
tuned;
|
changeset |
files
|
| 2004-04-15 |
wenzelm |
fixed width;
|
changeset |
files
|
| 2004-04-15 |
wenzelm |
finalconsts RepC AbsC;
|
changeset |
files
|
| 2004-04-15 |
nipkow |
Added ex/Exceptions.thy
|
changeset |
files
|
| 2004-04-15 |
nipkow |
"haspref" -> "oldhaspref" (David Aspinall)
|
changeset |
files
|
| 2004-04-15 |
schirmer |
bugfix in xsymbols_output
|
changeset |
files
|
| 2004-04-14 |
nipkow |
corrected PG url in comment
|
changeset |
files
|
| 2004-04-14 |
kleing |
use more symbols in HTML output
|
changeset |
files
|
| 2004-04-14 |
wenzelm |
renamed have_thms to note_thms;
|
changeset |
files
|
| 2004-04-14 |
wenzelm |
tuned;
|
changeset |
files
|
| 2004-04-14 |
wenzelm |
proper handling of lines terminated by CRLF or CR;
|
changeset |
files
|
| 2004-04-14 |
schirmer |
* raw control symbols are of the form \<^raw:...> now.
|
changeset |
files
|
| 2004-04-14 |
berghofe |
Fixed bug in check_mode_clause.
|
changeset |
files
|
| 2004-04-14 |
schirmer |
bugfix for \<^raw...> scanner
|
changeset |
files
|
| 2004-04-14 |
kleing |
prod and sum
|
changeset |
files
|
| 2004-04-13 |
schirmer |
* cleaner distinction between control symbols "\<^...>" and "\<^raw...>" in
|
changeset |
files
|
| 2004-04-13 |
wenzelm |
* Calculation commands "moreover" and "also" no longer interfere with
|
changeset |
files
|
| 2004-04-13 |
wenzelm |
'also'/'moreover': do not interfere with current facts, allow in chain mode;
|
changeset |
files
|
| 2004-04-13 |
wenzelm |
export put_thms;
|
changeset |
files
|
| 2004-04-13 |
ballarin |
Added brief intro text.
|
changeset |
files
|
| 2004-04-13 |
kleing |
convert symbols to HTML 4.0 character entities,
|
changeset |
files
|
| 2004-04-13 |
ballarin |
Various changes to HOL-Algebra;
|
changeset |
files
|
| 2004-04-13 |
kleing |
hence -> from calculation have
|
changeset |
files
|
| 2004-04-13 |
kleing |
fix moreover/this behaviour:
|
changeset |
files
|
| 2004-04-13 |
kleing |
export thisN
|
changeset |
files
|
| 2004-04-13 |
kleing |
isabelle.css
|
changeset |
files
|
| 2004-04-13 |
kleing |
use .jar
|
changeset |
files
|
| 2004-04-12 |
kleing |
change order of options for jar (fix error on Sun)
|
changeset |
files
|
| 2004-04-12 |
kleing |
ignore GraphBrowser.jar
|
changeset |
files
|
| 2004-04-12 |
kleing |
remove MiniML and Lex (moved to AFP)
|
changeset |
files
|
| 2004-04-12 |
kleing |
use css in generated web pages
|
changeset |
files
|
| 2004-04-12 |
kleing |
use css
|
changeset |
files
|
| 2004-04-12 |
kleing |
use css
|
changeset |
files
|
| 2004-04-12 |
kleing |
produce jar instead of single .class files
|
changeset |
files
|
| 2004-04-12 |
oheimb |
removed o2l and fold_rel; moved postfix to Library/List_Prefix.thy
|
changeset |
files
|
| 2004-04-12 |
oheimb |
added theorem chg_map_other
|
changeset |
files
|
| 2004-04-12 |
oheimb |
added HOLCF/Streams.thy (with concatenation etc.)
|
changeset |
files
|
| 2004-04-12 |
oheimb |
added Streams.thy (with stream concatenation etc.)
|
changeset |
files
|
| 2004-04-09 |
kleing |
treat sub/super scripts
|
changeset |
files
|
| 2004-04-08 |
paulson |
freeness theorems and induction rule
|
changeset |
files
|
| 2004-04-08 |
paulson |
tidied
|
changeset |
files
|
| 2004-04-08 |
paulson |
new theory
|
changeset |
files
|
| 2004-04-08 |
paulson |
some (much longer) structured proofs
|
changeset |
files
|
| 2004-04-07 |
kleing |
fix time tag of session.tex
|
changeset |
files
|
| 2004-04-07 |
ballarin |
Locale instantiation: label parameter optional, new attribute paramter.
|
changeset |
files
|
| 2004-04-07 |
paulson |
IsaMakefile
|
changeset |
files
|
| 2004-04-06 |
mehta |
new
|
changeset |
files
|
| 2004-04-06 |
mehta |
*** empty log message ***
|
changeset |
files
|
| 2004-04-06 |
mehta |
*** empty log message ***
|
changeset |
files
|