isabelle: File revisions

Mercurial isabelle / file revisions

NEWS

12 months ago	wenzelm	2017-10-03	more NEWS;	file \| diff \| annotate
12 months ago	wenzelm	2017-10-05	completion supports theory header imports; tuned;	file \| diff \| annotate
12 months ago	wenzelm	2017-10-04	process ROOT files only once, which allows duplicate (or overlapping) session root directories;	file \| diff \| annotate
12 months ago	wenzelm	2017-10-02	discontinued obsolete 'files' in session ROOT;	file \| diff \| annotate
12 months ago	wenzelm	2017-10-02	added command 'external_file';	file \| diff \| annotate
12 months ago	wenzelm	2017-10-02	option -S for "isabelle build";	file \| diff \| annotate
12 months ago	blanchet	2017-10-01	updated NEWS	file \| diff \| annotate
12 months ago	wenzelm	2017-10-01	option -B for "isabelle build" and "isabelle imports";	file \| diff \| annotate
12 months ago	wenzelm	2017-09-30	NEWS;	file \| diff \| annotate
13 months ago	wenzelm	2017-09-28	session-qualified theory names are mandatory;	file \| diff \| annotate
13 months ago	wenzelm	2017-09-23	merged	file \| diff \| annotate
13 months ago	wenzelm	2017-09-17	more documentation; tuned message;	file \| diff \| annotate
13 months ago	haftmann	2017-09-11	spelling	file \| diff \| annotate
13 months ago	blanchet	2017-09-22	document incompatibility	file \| diff \| annotate
13 months ago	blanchet	2017-09-22	real oracle	file \| diff \| annotate
13 months ago	wenzelm	2017-09-08	back to post-release mode -- after fork point;	file \| diff \| annotate
13 months ago	wenzelm	2017-09-08	tuned;	file \| diff \| annotate
13 months ago	paulson	2017-09-08	Correction of typos and a bit of streamlining	file \| diff \| annotate
13 months ago	paulson	2017-09-08	Simplicial complexes and triangulations; Baire Category Theorem	file \| diff \| annotate
13 months ago	blanchet	2017-09-08	moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years	file \| diff \| annotate
13 months ago	wenzelm	2017-09-02	proper URL;	file \| diff \| annotate
13 months ago	wenzelm	2017-08-31	reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;	file \| diff \| annotate
13 months ago	Andreas Lochbihler	2017-08-30	add type of unordered pairs	file \| diff \| annotate
14 months ago	wenzelm	2017-08-29	proper theory name;	file \| diff \| annotate
14 months ago	nipkow	2017-08-29	news	file \| diff \| annotate
14 months ago	Manuel Eberl	2017-08-23	HOL-Library: going_to filter	file \| diff \| annotate
14 months ago	Lars Hupel	2017-08-22	output syntax for pattern aliases	file \| diff \| annotate
14 months ago	Manuel Eberl	2017-08-21	HOL-Analysis: Convergent FPS and infinite sums	file \| diff \| annotate
14 months ago	wenzelm	2017-08-21	tuned;	file \| diff \| annotate
14 months ago	wenzelm	2017-08-21	tuned;	file \| diff \| annotate
14 months ago	wenzelm	2017-08-21	misc tuning and updates for release;	file \| diff \| annotate
14 months ago	wenzelm	2017-08-20	officially allow restart of Isabelle plugin;	file \| diff \| annotate
14 months ago	wenzelm	2017-08-18	merged	file \| diff \| annotate
14 months ago	wenzelm	2017-08-18	more NEWS;	file \| diff \| annotate
14 months ago	Lars Hupel	2017-08-18	syntax for pattern aliases	file \| diff \| annotate
14 months ago	eberlm	2017-08-17	NEWS: Removed constant subseq; subsumed by strict_mono	file \| diff \| annotate
14 months ago	wenzelm	2017-08-17	support for incremental update according to session graph structure;	file \| diff \| annotate
14 months ago	nipkow	2017-08-15	NEWS sorted_wrt	file \| diff \| annotate
14 months ago	wenzelm	2017-08-15	NEWS;	file \| diff \| annotate
14 months ago	haftmann	2017-08-06	do not fall back on nbe if plain evaluation fails	file \| diff \| annotate
14 months ago	haftmann	2017-08-02	simplified function specification history: each pending function specification is historized at the end of a theory, without additional bookkeeping; sufficient to keep history stamps rather than complete historized data; semantically conflicting specifications are temoprary blacklisted after theory merge but remain historized; clarified signature;	file \| diff \| annotate
15 months ago	blanchet	2017-07-28	introduced option for nat-as-int in SMT	file \| diff \| annotate
15 months ago	eberlm	2017-07-15	Updated NEWS	file \| diff \| annotate
15 months ago	wenzelm	2017-07-03	added command 'alias' and 'type_alias';	file \| diff \| annotate
16 months ago	wenzelm	2017-06-30	NEWS;	file \| diff \| annotate
16 months ago	wenzelm	2017-06-23	NEWS;	file \| diff \| annotate
16 months ago	haftmann	2017-06-20	deleting a code equation never leads to unimplemented function	file \| diff \| annotate
16 months ago	blanchet	2017-06-20	SMT news	file \| diff \| annotate
16 months ago	wenzelm	2017-06-05	HTML preview via builtin HTTP server;	file \| diff \| annotate
17 months ago	eberlm	2017-05-29	reorganised material on sublists	file \| diff \| annotate
17 months ago	wenzelm	2017-05-15	NEWS;	file \| diff \| annotate
17 months ago	Manuel Eberl	2017-05-05	NEWS: totient 1 = 1 now	file \| diff \| annotate
18 months ago	wenzelm	2017-04-24	tuned;	file \| diff \| annotate
18 months ago	wenzelm	2017-04-24	clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;	file \| diff \| annotate
18 months ago	wenzelm	2017-04-23	tuned documentation;	file \| diff \| annotate
18 months ago	wenzelm	2017-04-23	clarified tool name -- more official status;	file \| diff \| annotate
18 months ago	wenzelm	2017-04-22	theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;	file \| diff \| annotate
18 months ago	wenzelm	2017-04-21	merged	file \| diff \| annotate
18 months ago	wenzelm	2017-04-21	afford unconditional all_known = true (reverting ea42dfd95ec8), for practical usability of qualified imports from arbitrary sessions;	file \| diff \| annotate
18 months ago	blanchet	2017-04-20	removed Old_SMT legacy module	file \| diff \| annotate

(0) -3000 -1000 -300 -100 -60 tip

isabelle

RSS Atom