haselwarter

;; modified from coq-show-first-goal in proof-general-20251120.1746/coq/coq.el
(defun iris-show-first-goal ()
  "Scroll the goal buffer so that the first goal is visible.
First goal is displayed on the bottom of its window, maximizing the
number of hypothesis displayed, without hiding the goal"
  (interactive)
  ;; CPC 2015-12-31: Added the check below: if the command that caused this
  ;; call was silent, we shouldn't touch the goals buffer.  See GitHub issues
  ;; https://github.com/cpitclaudel/company-coq/issues/32 and
  ;; https://github.com/cpitclaudel/company-coq/issues/8.

haselwarter

commit 4167767b45324c70a0f30abbb95f7ac616558b7a
Author: Philipp G. Haselwarter <philipp@haselwarter.org>
Date:   Fri Feb 11 23:38:00 2022 +0100

    Bind ctrl-m (^M) to act like Return, i.e. accept the current entry

diff --git a/wayland.c b/wayland.c
index 4bf93be..3dda551 100644
--- a/wayland.c
+++ b/wayland.c

haselwarter

Set Warnings "-notation-overridden".
From mathcomp Require Import all_ssreflect seq.
Set Warnings "notation-overridden".

From extructures Require Import ord fset.
Open Scope fset_scope.

Set Bullet Behavior "Strict Subproofs".
Set Default Goal Selector "!".
Set Primitive Projections.

haselwarter

#!/usr/bin/bash

# Goal: move workspace $1 to the currently focused output, move the workspace on the current output
# to the output where $1 was.

# The workspace we want to end up on
dest_ws=$1
# The output where the destination ws resides
output_of_dest_ws=$(i3-msg -t get_workspaces | jq .[] | jq -r 'select(.name == "'$dest_ws'").output')
# The currently focused output

haselwarter

CFI_taxa <- function (df,acceptable_taxa)   {
  subset(df, 
         (df[,c("Class",	"Sub-Class",	"Oder",	"Sub-Order",	"Super-Family",	"Family")] %in% acceptable_taxa,
          select = Field : Number))
}

CFI_taxa_try <- CFI_taxa (data_mother, acceptable_taxa = c("Carabidae", "Elateridae","Sympyhta"))

haselwarter

<?xml version="1.0" encoding="UTF-8"?>
<inkscape-extension xmlns="http://www.inkscape.org/namespace/inkscape/extension">
    <_name>Pattern randomly along Path</_name>
    <id>math.univ-lille1.barraud.pathdeformrandomly</id>
    <dependency type="executable" location="extensions">pathmodifier.py</dependency>
    <dependency type="executable" location="extensions">randompathalongpath.py</dependency>
    <dependency type="executable" location="extensions">inkex.py</dependency>
	<param name="tab" type="notebook">
        <page name="Options" _gui-text="Options">
        <param name="copymode" type="enum" _gui-text="Copies of the pattern:">

haselwarter

#!/bin/sh
set -e

function usage () {
    echo "Usage: update-andromeda.sh [option]"
    echo "              Update Andromeda to the latest available version (default)"
    echo "  --dev       Update the development version of Andromeda"
}