#
af607873 |
|
21-Jan-2016 |
Corey Richardson <corey.richardson@nicta.com.au> |
various scripts: use print_function uniformly for python3 compat
|
#
17538634 |
|
03-Jan-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
misc: Replace inline file merge implementation with isasymbols. This change means we no longer need to manually update these files when Isabelle incorporates new unicode symbols. In particular, these translators will automatically gain support for symbols like "\<longlonglongrightarrow>" when we move to Isabelle 2016.
|
#
bb9e9d94 |
|
28-Sep-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
misc/filemerge: Remove unnecessary import.
|
#
ad669f92 |
|
17-Nov-2014 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
misc: Optimise filemerge scripts. When streaming a large theory through these scripts, doing string replacements line-by-line and repeated dictionary lookups become a significant performance overhead. Relevant observable functionality should be unaffected by this change.
|
#
2a03e81d |
|
14-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
Import release snapshot.
|