vonavi

;;; ljdump-async.el --- Dump LiveJournal posts and comments  -*- lexical-binding: t; -*-

;; Copyright (C) 2021  Vladimir Ivanov

;; Author: Vladimir Ivanov <ivvl82@gmail.com>
;; Keywords:

;; This program is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation, either version 3 of the License, or

vonavi

;;; fetch-blog.el --- Fetch blog archive

;; Copyright (C) 2020  Vladimir Ivanov

;; Author: Vladimir Ivanov <ivvl82@gmail.com>
;; Keywords:

;;; Commentary:

;;

vonavi

theory gcd
  imports Main
begin

fun gcd :: "nat ⇒ nat ⇒ nat" where
  "gcd a 0 = a" |
  "gcd a b = gcd b (a mod b)"

lemma div_mod_eq:
  fixes a b :: nat

vonavi

theory
  msort
imports
  Main
  Classes.Classes
begin

datatype 'a msort = Seg "'a × 'a" | Empty | Fail

instantiation msort :: (ord) monoid

vonavi

#!/usr/bin/env python3
import os

import argparse
import random

import fitz

class Config:
    def get_mark_range(self, y, mark):

vonavi

--- backend/pdf/ev-poppler.cc	2010-09-27 19:54:34.000000000 +0300
+++ backend/pdf/ev-poppler-patched.cc	2013-08-16 20:08:43.000000000 +0300
@@ -342,6 +342,23 @@
 	return label;
 }
 
+/* For some reason, cairo doesn't put this in the public header. */
+typedef enum _cairo_lcd_filter {
+	CAIRO_LCD_FILTER_DEFAULT,
+	CAIRO_LCD_FILTER_NONE,