Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2007-07-19
berghofe
Replaced "hand-made" files by generated files in Inductive/document.
changeset
|
files
2007-07-19
berghofe
LaTeX code is now generated directly from theory files.
changeset
|
files
2007-07-19
berghofe
LaTeX code is now generated directly from Even and Advanced theories.
changeset
|
files
2007-07-19
berghofe
LaTeX code is now generated directly from theory file.
changeset
|
files
2007-07-18
aspinall
DEEPEN: Use priority message channel for interim messages (not warnings).
changeset
|
files
2007-07-18
aspinall
Direct priority and tracing channels properly.
changeset
|
files
2007-07-18
paulson
tidying using metis
changeset
|
files
2007-07-17
wenzelm
fileident --- produce file identification based;
changeset
|
files
2007-07-17
wenzelm
added ISABELLE_FILE_IDENT (command line for source file identification);
changeset
|
files
2007-07-17
wenzelm
adapted TextIO.inputLine;
changeset
|
files
2007-07-17
wenzelm
tuned comment;
changeset
|
files
2007-07-17
wenzelm
avoid redundant variables in patterns (which made Alice vomit);
changeset
|
files
2007-07-17
paulson
Full sort information by default.
changeset
|
files
2007-07-17
berghofe
Added hypotheses.
changeset
|
files
2007-07-17
berghofe
Added clause for hypotheses to proof_of_xml function.
changeset
|
files
2007-07-17
wenzelm
use /usr/proj/polyml/polyml-5.1-test, which might be more stable;
changeset
|
files
2007-07-17
krauss
reverted fun->recdef, since there are problems with induction rule
changeset
|
files
2007-07-17
wenzelm
Pure theory setup.
changeset
|
files
2007-07-17
wenzelm
Generic print mode.
changeset
|
files
2007-07-17
wenzelm
moved cd/pwd to ML compatibility layer (simplifies bootstrapping with Alice);
changeset
|
files
2007-07-17
wenzelm
simplified loading of ML files -- no static forward references;
changeset
|
files
2007-07-17
wenzelm
moved print_translations from Pure.thy to Syntax/syn_trans.ML;
changeset
|
files
2007-07-17
wenzelm
added General/print_mode.ML, pure_setup.ML;
changeset
|
files
2007-07-17
wenzelm
tuned specifications;
changeset
|
files
2007-07-16
krauss
use function package
changeset
|
files
2007-07-16
krauss
more proofs
changeset
|
files
2007-07-16
krauss
some interface cleanup
changeset
|
files
2007-07-16
krauss
added lemma binding: accpI = accp.accI
changeset
|
files
Loading...
(0)
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip