Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 6, 2013

• :: to the end of the line is also a comment (says Marco Caminati)

  

  Christoph Lange

  committed
  0cdf7d5

  Copy full SHA for 0cdf7d5

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

• C-ch for remote htmlization

  

  Josef Urban

  committed
  72c6306

  Copy full SHA for 72c6306

Commits on Sep 8, 2010

• trying to catch synonyms containing semicolon - seems working

  

  urban

  committed
  8c86521

  Copy full SHA for 8c86521

• more debugging info

  

  Josef Urban

  committed
  7ff942d

  Copy full SHA for 7ff942d

Commits on Sep 5, 2010

• mizar-remote-solve-atp C-ca ; putting the atp call into *atp-output*, and making details invisible there (should add a button for toggling visibility); this seems to be usable atp advisor for Mizar…

  Show description for 107c7f3
  

  Josef Urban

  committed
  107c7f3

  Copy full SHA for 107c7f3

• my-switch-to-url-buffer switching in other window

  

  Josef Urban

  committed
  a84de35

  Copy full SHA for a84de35

Commits on Sep 4, 2010

• handling private .voc (only one) in mizar-browse-remote

  

  Josef Urban

  committed
  5098842

  Copy full SHA for 5098842

• handling private .voc (only one) for mizar-remote-solve; mizar-browse-remote still to do

  

  Josef Urban

  committed
  e62f92e

  Copy full SHA for e62f92e

• fixed the Mizar TWiki URL, added menu selection for HTML browser

  

  Josef Urban

  committed
  bc03ffe

  Copy full SHA for bc03ffe

Pagination

Previous

Next