HomePhabricator
Authored by paulson.

Description

merged

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
995fe5877d53wenzelm
tuned declarations for more compact proof terms; 
Nov 7
45a1fcee14a0wenzelm
prefer named facts; 
Nov 7
64249a83bc29wenzelm
clarified contexts; 
Nov 7
e06852132c1dwenzelm
tuned messages; 
Nov 7
5bb2235d843dwenzelm
clarified command-line; 
Nov 7
41b6ca223500wenzelm
tuned messages; 
Nov 7
8ac137c65776wenzelm
tuned messages; 
Nov 7
70205e023cb4wenzelm
more messages -- expose potential database problems; 
Nov 7
324c40205fc8wenzelm
clarified errors: include stdout; 
Nov 7
d61fd7aade69wenzelm
clarified directory; 
Nov 7
22fcdadc404dwenzelm
tuned; 
Nov 7
9ce299019d21wenzelm
tuned message; 
Nov 7
79b89278b825wenzelm
clarified permissions; 
Nov 7
9314a4cc84eawenzelm
merged 
Nov 6
510b89906d86wenzelm
discontinued somewhat pointless Isabelle options: setup implicitly assumes… 
Nov 6
67cbf2e52785wenzelm
unused; 
Nov 6
114db2b5a5f8wenzelm
support for Phabricator mail configuration; 
Nov 6
98ac9a4323a2traytel
merged 
Nov 6
c9c1a64eeb69traytel
corrected typo in lemma name 
Nov 6
d628bbdce79anipkow
moved lemma 
Nov 6
b3956a37c994traytel
merged 
Nov 6
1d19e844fa4dtraytel
characterization of until in terms of strong until (and vice versa)… 
Nov 6