isabelle: doc/Contents@4bad9c465eef (annotated)

69409 e7a5340128f0 clarified doc sections: add-on components may focus their own application name; wenzelm parents: 62739 diff changeset	1	Isabelle Tutorials!
47323 365521737b6a prefer prog-prove, suppress isar-overview; wenzelm parents: 47320 diff changeset	2	prog-prove Programming and Proving in Isabelle/HOL
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	3	locales Tutorial on Locales
22736 4948e2bd67e5 added class tutorial haftmann parents: 21868 diff changeset	4	classes Tutorial on Type Classes
52792 3e651be14fcd sketched documentation for new (co)datatype package blanchet parents: 52552 diff changeset	5	datatypes Tutorial on (Co)datatype Definitions
21868 54293c8ea022 added functions tutorial haftmann parents: 20950 diff changeset	6	functions Tutorial on Function Definitions
62739 628c97d39627 added sketchy 'corec' documentation blanchet parents: 62362 diff changeset	7	corec Tutorial on Nonprimitively Corecursive Definitions
21868 54293c8ea022 added functions tutorial haftmann parents: 20950 diff changeset	8	codegen Tutorial on Code Generation
36930 15d9f4373f78 added Sledgehammer documentation to TOC blanchet parents: 33211 diff changeset	9	nitpick User's Guide to Nitpick
15d9f4373f78 added Sledgehammer documentation to TOC blanchet parents: 33211 diff changeset	10	sledgehammer User's Guide to Sledgehammer
60288 d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 56426 diff changeset	11	eisbach The Eisbach User Manual
30467 afd0e5095c6b updated according to actual manual title; wenzelm parents: 30459 diff changeset	12	sugar LaTeX Sugar for Isabelle documents
14491 df007bdff9bf put in sections, reorganized, removed intro to isabelle kleing parents: 14001 diff changeset	13
69409 e7a5340128f0 clarified doc sections: add-on components may focus their own application name; wenzelm parents: 62739 diff changeset	14	Isabelle Reference Manuals!
47320 928cb8b35e6e formal integration of "prog-prove" manual; wenzelm parents: 44801 diff changeset	15	main What's in Main
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	16	isar-ref The Isabelle/Isar Reference Manual
25244 42071ca3a14c added omission haftmann parents: 22736 diff changeset	17	implementation The Isabelle/Isar Implementation Manual
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	18	system The Isabelle System Manual
53769 036e80175bdd basic setup for Isabelle/jEdit documentation; wenzelm parents: 52792 diff changeset	19	jedit Isabelle/jEdit
29747 bab2371e0348 explicit section for old/outdated manuals, which are still informative to some extent; wenzelm parents: 25248 diff changeset	20
76395 fac28b6c37e8 support for Dagstuhl LIPIcs style with demo document; wenzelm parents: 69409 diff changeset	21	Demo Documents
76479 8ac1d83301b5 tuned comments; wenzelm parents: 76478 diff changeset	22	demo_easychair Demo for Easychair LaTeX style
8ac1d83301b5 tuned comments; wenzelm parents: 76478 diff changeset	23	demo_eptcs Demo for EPTCS LaTeX style
76399 d0a1f3eb0982 support for FoilTeX with demo document; wenzelm parents: 76397 diff changeset	24	demo_foiltex Demo for FoilTeX: slides in LaTeX
76395 fac28b6c37e8 support for Dagstuhl LIPIcs style with demo document; wenzelm parents: 69409 diff changeset	25	demo_lipics Demo for Dagstuhl LIPIcs style
76443 8dbb0b2f6576 support for Springer LLNCS with demo document; wenzelm parents: 76399 diff changeset	26	demo_llncs Demo for Springer LaTeX LNCS style
76395 fac28b6c37e8 support for Dagstuhl LIPIcs style with demo document; wenzelm parents: 69409 diff changeset	27
69409 e7a5340128f0 clarified doc sections: add-on components may focus their own application name; wenzelm parents: 62739 diff changeset	28	Old Isabelle Manuals
62362 e4119d366ab0 tutorial is old; wenzelm parents: 60288 diff changeset	29	tutorial Tutorial on Isabelle/HOL
30118 df610709eda5 more explicit indication of old manuals; wenzelm parents: 29747 diff changeset	30	intro Old Introduction to Isabelle
52552 0260bdba4dd7 reduced number of old manuals: chapter HOL is back again to the Logics manual by Larry; wenzelm parents: 52415 diff changeset	31	logics Isabelle's Logics: HOL and misc logics
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	32	logics-ZF Isabelle's Logics: FOL and ZF
76397 95a71ee0fffd tuned whitespace for "isabelle doc" display; wenzelm parents: 76396 diff changeset	33

author	wenzelm
	Sat, 14 Dec 2024 22:26:27 +0100
changeset 81593	4bad9c465eef
parent 76479	8ac1d83301b5
permissions	-rw-r--r--