From 47a0efea1cab550e31c67abd60e784661e03ce34 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 16 Jul 2017 12:41:51 +0100 Subject: [PATCH] Initial commit. --- logicalhacking.zsh | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 logicalhacking.zsh diff --git a/logicalhacking.zsh b/logicalhacking.zsh new file mode 100644 index 0000000..f332329 --- /dev/null +++ b/logicalhacking.zsh @@ -0,0 +1,27 @@ +# vim:ft=zsh ts=4 sw=2 sts=2 +# +# LogicalHacking ZSH Bundle +# +# Copyright (C) 2017 Achim D. Brucker, https://www.brucker.ch +# +# Permission is hereby granted, free of charge, to any person obtaining a copy +# of this software and associated documentation files (the "Software"), to deal +# in the Software without restriction, including without limitation the rights +# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +# copies of the Software, and to permit persons to whom the Software is +# furnished to do so, subject to the following conditions: +# +# The above copyright notice and this permission notice shall be included in all +# copies or substantial portions of the Software. +# +# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +# SOFTWARE. +# + +basedir=`dirname $0:A` +source $basedir/plugins/isabelle/isabelle.plugin.zsh