Mercurial
Mercurial
>
repos
>
testboard
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScriptenabled browsers.
characterization of until in terms of strong until (and vice versa), contributed by Michael Foster
23 months ago, by traytel
merged
23 months ago, by wenzelm
proper names for multiple installations;
23 months ago, by wenzelm
more phabricator setup;
23 months ago, by wenzelm
proper service name (again): it is specific to each installation;
23 months ago, by wenzelm
back to plain name, to have it accepted my mysql;
23 months ago, by wenzelm
prefer system user setup, e.g. avoid occurrence on login screen;
23 months ago, by wenzelm
more robust: install PHP daemon after Apache;
23 months ago, by wenzelm
clarified name prefixes: global config always uses "isabellephabricator";
23 months ago, by wenzelm
more phabricator setup;
23 months ago, by wenzelm
more phabricator setup;
23 months ago, by wenzelm
more phabricator setup;
23 months ago, by wenzelm
support for system services;
23 months ago, by wenzelm
more options;
23 months ago, by wenzelm
support for Linux user management;
23 months ago, by wenzelm
merged
23 months ago, by nipkow
tuned
23 months ago, by nipkow
proofofconcept theory for bit operations without a constructivistic representation and a minimal common logical foundation
23 months ago, by haftmann
moved duplicate lemmas up the hierarchy
23 months ago, by nipkow
merged
23 months ago, by nipkow
merged
23 months ago, by immler
add lemmas
23 months ago, by immler
refactor Approximation.thy to use more abstract type of intervals
23 months ago, by immler
moved theory Interval_Approximation from the AFP
23 months ago, by immler
moved theory Interval from the AFP
24 months ago, by immler
replace approximation oracle by less adhoc @{computation}s
23 months ago, by immler
removed redundant lemma
23 months ago, by nipkow
tuned
23 months ago, by nipkow
merged
23 months ago, by nipkow
Merge and get rid of closed_segmentI
23 months ago, by paulson
tuned
23 months ago, by nipkow
Line_Segment is independent of Convex_Euclidean_Space
23 months ago, by immler
the division between Starlike and Convex_Euclidean_Space is artificial, therefore include Starlike
23 months ago, by immler
betweenness is a property on line segments
23 months ago, by immler
reduce dependencies of Ordered_Euclidean_Space; move more general material from Cartesian_Euclidean_Space
23 months ago, by immler
proper message (amending 94442fce40a5);
23 months ago, by wenzelm
more robust Thm.expose_theory  ensure that PIDE export happens in the proper theory context;
23 months ago, by wenzelm
uniform "prune_proofs" for Thm_Node / PThm, but it is in conflict with export_proofs of reused nodes;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
updated xml_size;
23 months ago, by wenzelm
prefer named result;
23 months ago, by wenzelm
more robust expose_proofs corresponding to register_proofs/consolidate_theory;
23 months ago, by wenzelm
reduce dependencies of Ordered_Euclidean_Space; move more general material from Cartesian_Euclidean_Space
draft
23 months ago, by immler
reduce dependencies of Ordered_Euclidean_Space
draft
23 months ago, by immler
Moved or deleted some out of place material, also eliminating obsolete naming conventions
23 months ago, by paulson
expose derivations more thoroughly, notably for locale/class reasoning;
23 months ago, by wenzelm
clarified errors;
23 months ago, by wenzelm
determine proof boxes from exported proof (NB: thm_boxes is not sufficient due to OfClass proofs);
23 months ago, by wenzelm
more operations;
23 months ago, by wenzelm
tuned whitespace;
23 months ago, by wenzelm
more robust;
23 months ago, by wenzelm
clarified modules;
23 months ago, by wenzelm
clarified signature  more options;
23 months ago, by wenzelm
merged
23 months ago, by paulson
proper theory for export_proofs;
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
moved line segments to Convex_Euclidean_Space
23 months ago, by paulson
merged
23 months ago, by paulson
proper graph traversal  avoid exponential blowup (amending 71d1971d67ad);
23 months ago, by wenzelm
just tidied one proof
23 months ago, by paulson
less
more

(0)
30000
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
tip