Ludovic Courtès 6611151b7f templates: Improve toggle button on evaluation and spec pages. ... The contrast icon was arguably misleading. * src/cuirass/templates.scm (specifications-table): Use ‘oi-dashboard’ rather than ‘oi-contrast’ for the toggle button; clarify ‘title’. (evaluation-info-table): Likewise.		2023-10-29 17:20:42 +01:00
..
cuirass	templates: Improve toggle button on evaluation and spec pages.	2023-10-29 17:20:42 +01:00
sql	Add specifications deactivation support.	2021-11-29 11:19:58 +01:00
static	build-log.js: Tweak icon of the phase folding button.	2023-10-28 23:01:03 +02:00
web/server	web: server: Remove with-ignored-disconnects.	2020-08-04 18:14:51 +02:00
cuirass.scm	cuirass: Stop λ/lambda mixing.	2017-07-06 10:03:16 +02:00
schema.sql	Add specifications deactivation support.	2021-11-29 11:19:58 +01:00