Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 4, 2025

• Merge pull request #7 from pqnelson/master

  Show description for f1b57f3
  JUrban

  authored
  f1b57f3

  Copy full SHA for f1b57f3

Commits on Sep 9, 2023

• [bugfix] Emacs 29 removed obsolete underlining function

  pqnelson

  committed
  9d8d265

  Copy full SHA for 9d8d265

• [bugfix] Replaced obsolete goto-line function

  pqnelson

  committed
  214a00a

  Copy full SHA for 214a00a

Commits on Apr 28, 2018

• produce mathjax remotely

  JUrban

  committed
  2247b17

  Copy full SHA for 2247b17

Commits on Apr 23, 2018

• new env keywords, ar4mizar server at CTU

  JUrban

  committed
  8a0b3f4

  Copy full SHA for 8a0b3f4

Commits on Apr 14, 2018

• abstract optional

  JUrban

  committed
  7e44e7c

  Copy full SHA for 7e44e7c

• remote pdf-ing

  JUrban

  committed
  6aa30e8

  Copy full SHA for 6aa30e8

Commits on May 23, 2014

• labels => cl-labels

  JUrban

  committed
  4e4e2cd

  Copy full SHA for 4e4e2cd

• fixes to lambda for emacs24

  JUrban

  committed
  d9b282a

  Copy full SHA for d9b282a

Commits on Jun 15, 2012

• fintifying "to"

  JUrban

  committed
  d5f5e77

  Copy full SHA for d5f5e77

Commits on Apr 5, 2012

• (goto-char (point-max) needed after insert-file-contents

  JUrban

  committed
  48b13df

  Copy full SHA for 48b13df

• sending all vocfile, delimited names by :: and contents by ::::::

  JUrban

  committed
  b007512

  Copy full SHA for b007512

Commits on Feb 27, 2012

• lstlangmizar.sty; use as \begin{lstlisting}[language=Mizar]

  JUrban

  committed
  722ae08

  Copy full SHA for 722ae08

Commits on Feb 8, 2012

• syntax highliting and menu for "reduce" and "reducibility"

  JUrban

  committed
  79119ca

  Copy full SHA for 79119ca

Commits on Dec 5, 2011

• proo checking shortcuts

  JUrban

  committed
  4d816ca

  Copy full SHA for 4d816ca

Commits on Nov 29, 2011

• more

  JUrban

  committed
  525f3e7

  Copy full SHA for 525f3e7

Commits on Sep 17, 2011

• dividing implicit and explicit refs

  JUrban

  committed
  7992386

  Copy full SHA for 7992386

Commits on Sep 16, 2011

• by; is on; default ATP server in Edmonton; buttons for ATP details

  JUrban

  committed
  fc07c4c

  Copy full SHA for fc07c4c

• Merge branch 'master' of github.com:JUrban/mizarmode

  JUrban

  committed
  b1fc802

  Copy full SHA for b1fc802

• prevent moving point in insert-atp-result

  JUrban

  committed
  b677ef8

  Copy full SHA for b677ef8

Commits on Jun 27, 2011

• smart Windows grepper. courtesy of 010

  

  Josef Urban

  committed
  1457101

  Copy full SHA for 1457101

• ordered-grep-name

  

  Josef Urban

  committed
  dea0576

  Copy full SHA for dea0576

• fix

  

  Josef Urban

  committed
  92debf9

  Copy full SHA for 92debf9

• fixed

  

  Josef Urban

  committed
  ba94fd2

  Copy full SHA for ba94fd2

• grepping for window$

  

  Josef Urban

  committed
  fa9ea76

  Copy full SHA for fa9ea76

Commits on Jun 10, 2011

• fixed the old URLs

  JUrban

  committed
  cdaec15

  Copy full SHA for cdaec15

• added some new keywords

  JUrban

  committed
  9d7f889

  Copy full SHA for 9d7f889

• fixed the offset for mizar error numbering by 1 and added bubble-refing of the ATP output

  JUrban

  committed
  df396df

  Copy full SHA for df396df

Commits on May 5, 2011

• "Positions" instead of "All" for by;

  

  Josef Urban

  committed
  86a794f

  Copy full SHA for 86a794f

Commits on Mar 24, 2011

• Change remote server

  

  Josef Urban

  committed
  8ffdad1

  Copy full SHA for 8ffdad1

Commits on Mar 20, 2011

• generalized the remote solving code for any mmlversion and any ar4mizar server

  

  Josef Urban

  committed
  5bb382e

  Copy full SHA for 5bb382e

Commits on Jan 7, 2011

• mizar-atp-completion seems working; use "by;" to try it; the variable mizar-atp-completion has to be set

  

  Josef Urban

  committed
  8fbd635

  Copy full SHA for 8fbd635

Commits on Jan 5, 2011

• positions processed in mizar-remote-solve

  

  Josef Urban

  committed
  618aba3

  Copy full SHA for 618aba3

Commits on Dec 28, 2010

• hide/show of details in the atp-output buffer; should add proofs to it in MizAR

  

  Josef Urban

  committed
  9aca7a8

  Copy full SHA for 9aca7a8

• more doc for mizar-momm-err-map

  

  Josef Urban

  committed
  a4692f1

  Copy full SHA for a4692f1

Pagination

Previous

Next