Skip to content

Instantly share code, notes, and snippets.

After | File Name | Before || Change
--------------------------------------------------------------------------------------------
4m11.92s | Total | 3m52.92s || +0m19.00s
--------------------------------------------------------------------------------------------
0m10.33s | HIT/Colimits/Flattening | N/A || +0m10.33s
0m02.94s | HIT/Colimits/Pushout | N/A || +0m02.94s
0m10.06s | Modalities/ReflectiveSubuniverse | 0m08.67s || +0m01.39s
0m01.31s | HIT/Colimits/Colimit | N/A || +0m01.31s
0m21.29s | Spaces/BAut/Bool | 0m21.28s || +0m00.00s
0m11.32s | Algebra/ooGroup | 0m11.62s || -0m00.29s
;;-*-coding: utf-8;-*-
(define-abbrev-table 'Buffer-menu-mode-abbrev-table '())
(define-abbrev-table 'Custom-mode-abbrev-table '())
(define-abbrev-table 'Info-edit-mode-abbrev-table '())
(define-abbrev-table 'completion-list-mode-abbrev-table '())
(define-abbrev-table 'coq-goals-mode-abbrev-table '())