isabelle: Graph

Mercurial Mercurial > repos > isabelle / 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 +10000 tip

algebraized more material from theory Divides
2019-01-19, by haftmann
tuned output;
2019-01-19, by wenzelm
more official AFP.groups;
2019-01-19, by wenzelm
auto-update for some experimental components;
2019-01-19, by wenzelm
clarified URLs: prefer sketis over bitbucket;
2019-01-19, by wenzelm
self-contained code modules for Haskell
2019-01-19, by haftmann
automation for unverloading definitions
2019-01-18, by immler
restore type variable names in unoverload_type
2019-01-18, by immler
resolved conflict
2019-01-18, by nipkow
resolved conflict
2019-01-18, by nipkow
tuned headers
2019-01-18, by nipkow
amending 689997a8a582
2019-01-17, by immler
subsection is always %important
2019-01-17, by immler
no need for %unimportant for proofs of proposition
2019-01-17, by immler
redo tagging-related changes from a06b204527e6, 0f4d4a13dc16, and a8faf6f15da7
2019-01-17, by immler
revert to 56acd449da41
2019-01-17, by immler
merge
2019-01-17, by Angeliki KoutsoukouArgyraki
more tagging
2019-01-17, by Angeliki KoutsoukouArgyraki
updated tagging for 9 theories: Cross3, Determinants, Tagged_Division, Change_of_Vars, Extended_Real_Limits, Fashoda, Finite_Cartesian_Product, Function_Topology, Finite_Product_Measure
2019-01-16, by Angeliki KoutsoukouArgyraki
chapters for analysis manual
2019-01-16, by immler
Reorg, in particular Determinants as well as some linear algebra from Starlike and Change_Of_Vars
2019-01-16, by immler
bundle syntax for inner
2019-01-16, by immler
merged
2019-01-16, by wenzelm
tuned;
2019-01-16, by wenzelm
support pruning of export names;
2019-01-16, by wenzelm
clarified signature;
2019-01-16, by wenzelm
Reorg of material
2019-01-16, by nipkow
redundant lemma
2019-01-16, by nipkow
tuned headers
2019-01-16, by nipkow
Reorg of material
2019-01-16, by nipkow
tuned headers
2019-01-16, by nipkow
merged
2019-01-16, by nipkow
moved and renamed class
2019-01-15, by nipkow
added command 'export_generated_files';
2019-01-15, by wenzelm
tuned proofs
2019-01-14, by haftmann
canonical operation to typeset generated code makes dedicated environment obsolete
2019-01-14, by haftmann
tuned
2019-01-14, by haftmann
tuned language
2019-01-14, by haftmann
merged
2019-01-14, by nipkow
tuned
2019-01-14, by nipkow
root_val -> value
2019-01-14, by nipkow
uniform naming
2019-01-14, by nipkow
tagged 5 theories
2019-01-14, by Angeliki KoutsoukouArgyraki
updated tagging first 5
2019-01-14, by Angeliki KoutsoukouArgyraki
more favorites;
2019-01-14, by wenzelm
clarified message;
2019-01-14, by wenzelm
information with hyperlink to "isabelle-export:";
2019-01-13, by wenzelm
support hyperlink to theory exports;
2019-01-13, by wenzelm
regular export with implicit compression: result is uncompressed;
2019-01-13, by wenzelm
clarified -- removed pointless Parse.!!!;
2019-01-13, by wenzelm
tuned;
2019-01-13, by wenzelm
File Browser is open by default;
2019-01-13, by wenzelm
added action "isabelle-export-browser";
2019-01-13, by wenzelm
avoid access to ".NAME.marks" exports;
2019-01-12, by wenzelm
proper _getFile method -- required to open files from browser;
2019-01-12, by wenzelm
more robust: no assumptions about GUI thread or document model;
2019-01-12, by wenzelm
more robust: jEdit may produce names with trailing "/";
2019-01-12, by wenzelm
merged
2019-01-11, by wenzelm
access Isabelle theory exports via virtual file-system;
2019-01-11, by wenzelm
clarified signature;
2019-01-11, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

isabelle