Wed, 15 Jun 2022 16:55:10 +0200 | wenzelm | more robust: always override ISABELLE_IDENTIFIER from environment; | changeset | files |
Wed, 15 Jun 2022 13:37:35 +0200 | wenzelm | "isabelle vscode" is regular user-space tool; | changeset | files |
Tue, 14 Jun 2022 16:14:28 +0200 | Mathias Fleury | fix veriT reconstruction for and_pos and lambda-lifting | changeset | files |
Mon, 13 Jun 2022 20:02:00 +0200 | desharna | added lemmas image_mset_eq_{image_mset_plus,plus,plus_image_mset}D, and multp_image_mset_image_msetD | changeset | files |
Mon, 13 Jun 2022 11:48:46 +0200 | wenzelm | clarified options of "isabelle hg_sync" vs. "isabelle sync"; | changeset | files |
Mon, 13 Jun 2022 11:35:00 +0200 | wenzelm | tuned layout; | changeset | files |