Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 2 mo ago
Took 3 hr 27 min on built-in
Success

#169 (Apr 26, 2016, 6:20:07 PM)

Changes
  1. Linear_Algebra: generalize linear_surjective_right/injective_left_inverse to real vector spaces (detail / hgweb)
  2. Linear_Algebra: generalize linear_independent_extend to all real vector spaces (detail / hgweb)
  3. Linear_Algebra: alternative representation of linear combination (detail / hgweb)
  4. Linear_Algebra: move abstract concepts to front (detail / hgweb)

Started by an SCM change

Revision: 4a108f280dc25e292927fd32086b4d8b913f824d
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #169( 1 hr 31 min )Console Output
isabelle-repo-afpbuild #169( 3 hr 27 min )Console Output