isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 +10000 tip

tuned;
2019-01-30, by wenzelm
tuned signature;
2019-01-30, by wenzelm
tuned signature;
2019-01-30, by wenzelm
tuned;
2019-01-30, by wenzelm
clarified modules;
2019-01-30, by wenzelm
discontinued obsolete option "checkpoint";
2019-01-30, by wenzelm
updated to jdk-11.0.2+9;
2019-01-29, by wenzelm
eliminated suspicious Unicode;
2019-01-29, by wenzelm
eliminated hard TABs;
2019-01-29, by wenzelm
merged
2019-01-29, by nipkow
moved generalized material
2019-01-29, by nipkow
some new results in group theory
2019-01-29, by paulson
less odd class.second_countable_topology_def
2019-01-28, by immler
revert accident with raw Unicode (not Isabelle symbols) in 7404f5b91e56;
2019-01-28, by wenzelm
changed precedence of big operators: now like any other function symbol
2019-01-28, by nipkow
more canonical and less specialized syntax
2019-01-28, by nipkow
updated to polyml-test-1b2dcf8f5202;
2019-01-27, by wenzelm
prefer proper strings in OCaml
2019-01-25, by haftmann
more correct parenthesing
2019-01-25, by haftmann
generalized
2019-01-25, by immler
proper operation in weakly-typed Scala (amending 06153e2e0cdb);
2019-01-25, by wenzelm
tuned
2019-01-25, by nipkow
moved retracts
2019-01-25, by nipkow
tagged 4 theories
2019-01-25, by Angeliki KoutsoukouArgyraki
merged
2019-01-24, by paulson
the theory of Equipollence, and moving Fpow from Cardinals into Main
2019-01-24, by paulson
proper treatment of x86_64_32;
2019-01-24, by wenzelm
more appropriate section
2019-01-24, by haftmann
combinator to lift local theory update to theory update
2019-01-23, by haftmann
merged
2019-01-24, by Angeliki KoutsoukouArgyraki
tagged 5 theories
2019-01-24, by Angeliki KoutsoukouArgyraki
obsolete -- updated in Poly/ML;
2019-01-23, by wenzelm
updated to polyml-test-a444f281ccec;
2019-01-23, by wenzelm
prefer x86_64_32 over x86;
2019-01-23, by wenzelm
clarified signature;
2019-01-23, by wenzelm
updated x86_64-linux base line;
2019-01-23, by wenzelm
fixed me -- indeed this was wrong, as demonstrated by the predicate-free HO output (e.g. ehoh with keep_lams)
2019-01-23, by blanchet
tagged 2 theories ie Cartesian_Euclidean_Space Cartesian_Space
2019-01-23, by Angeliki KoutsoukouArgyraki
minor tagging updates in 13 theories
2019-01-22, by Angeliki KoutsoukouArgyraki
merged
2019-01-22, by Angeliki KoutsoukouArgyraki
redid tagging for 3 theories i.e. Determinants, Change_of_Vars, Finite_Cartesian_Product
2019-01-22, by Angeliki KoutsoukouArgyraki
Backed out changeset 1bc422c08209 -- obsolete in AFP/5d11846ac6ab;
2019-01-22, by wenzelm
really keep lambdas in translation if only predicates are missing
2019-01-22, by blanchet
tune ATP settings
2019-01-22, by blanchet
Added triangular numbers
2018-12-14, by Manuel Eberl
keep Local_Theory.reset for now -- still required in many AFP sessions (amending 1c201e4792cb);
2019-01-22, by wenzelm
merged
2019-01-22, by wenzelm
use polyml-test-0a6ebca445fc by default: already quite stable;
2019-01-22, by wenzelm
renamings and new material
2019-01-22, by paulson
merged
2019-01-22, by paulson
some renamings and a bit of new material
2019-01-22, by paulson
slightly more conventional naming schema
2019-01-21, by haftmann
Local_Theory.reset only required for toplevel interaction, attempt to withhold it from user space
2019-01-21, by haftmann
updated news
2019-01-21, by blanchet
get rid of visibility in MaSh -- it slows it down more than it helps
2019-01-21, by blanchet
merged
2019-01-21, by wenzelm
updated polyml platform: 32=x86_64_32;
2019-01-21, by wenzelm
more thorough purge_platforms;
2019-01-21, by wenzelm
clarified ML_OPTIONS on Windows;
2019-01-21, by wenzelm
more operations;
2019-01-21, by wenzelm
new material about summations and powers, along with some tweaks
2019-01-21, by paulson
dedicated combinator for declarations nested in a local theory block
2019-01-20, by haftmann
more conventional parsing of code_stmts antiquotation
2019-01-20, by haftmann
more conventional syntax for code_stmts antiquotation
2019-01-20, by haftmann
avoid crash of jEdit.closeBuffer() via TaskManager.instance.waitForIoTasks() due to race condition of save() vs. automatic load() of already open buffer, e.g. relevant for save-as on "isabelle-export:" artifacts;
2019-01-20, by wenzelm
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