Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-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
.
2011-08-09
huffman
instance real_basis_with_inner < perfect_space
changeset
|
files
2011-08-10
wenzelm
old term operations are legacy;
changeset
|
files
2011-08-10
wenzelm
moved old code generator to src/Tools/;
changeset
|
files
2011-08-10
wenzelm
avoid OldTerm operations -- with subtle changes of semantics;
changeset
|
files
2011-08-10
wenzelm
avoid OldTerm operations -- with subtle changes of semantics;
changeset
|
files
2011-08-10
wenzelm
avoid OldTerm operations -- with subtle changes of semantics;
changeset
|
files
2011-08-10
wenzelm
avoid OldTerm operations -- with subtle changes of semantics;
changeset
|
files
2011-08-10
wenzelm
tuned signature;
changeset
|
files
2011-08-10
wenzelm
Goal.forked: clarified handling of interrupts;
changeset
|
files
2011-08-10
wenzelm
future_job: explicit indication of interrupts;
changeset
|
files
2011-08-10
wenzelm
more explicit Simple_Thread.interrupt_unsynchronized, to emphasize its meaning;
changeset
|
files
2011-08-10
wenzelm
synchronized cancel and flushing of Multithreading.interrupted state, to ensure that interrupts stay within task boundaries;
changeset
|
files
2011-08-10
wenzelm
tuned source structure;
changeset
|
files
2011-08-10
wenzelm
bash_output_fifo blocks on Cygwin 1.7.x;
changeset
|
files
2011-08-09
berghofe
rename_bvs now avoids introducing name clashes between schematic variables
changeset
|
files
2011-08-09
wenzelm
merged
changeset
|
files
2011-08-09
haftmann
tuned proofs
changeset
|
files
2011-08-09
haftmann
merged
changeset
|
files
2011-08-09
haftmann
tuned header
changeset
|
files
2011-08-09
haftmann
more uniform naming scheme for Inf/INF and Sup/SUP lemmas
changeset
|
files
2011-08-09
kleing
removed "extremely ambigous" warning; has been ignored by everyone for years.
changeset
|
files
2011-08-09
wenzelm
misc tuning and clarification;
changeset
|
files
2011-08-09
wenzelm
tuned whitespace;
changeset
|
files
2011-08-09
blanchet
support local HOATPs
changeset
|
files
2011-08-09
blanchet
document local HOATPs
changeset
|
files
2011-08-09
blanchet
workaround THF parser limitation
changeset
|
files
2011-08-09
blanchet
LEO-II also supports FOF
changeset
|
files
2011-08-09
wenzelm
misc tuning and simplification;
changeset
|
files
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip