11 May 11:28 2012trybulec
*real number vs. Element of REAL
14 May 14:14 2012Artur Kornilowicz
**real number vs. Element of REAL
8 May 09:17 2012Serge Autexier
*CICM 2012 Doctoral Programme: 2nd Call for Applications
24 Apr 19:53 2012Bertram Fronhöfer
*European Master's Program in Computational Logic
25 Apr 16:01 2012Cezary Kaliszyk
*UITP'12: Final Call for Papers
17 Apr 17:54 2012Bertram Fronhöfer
*European PhD Program in Computational Logic (EPCL): Call for Applicati
16 Apr 20:25 2012Makarius
*Thedu: 2nd Call for papers
8 Apr 19:41 2012Cezary Kaliszyk
*UITP'12: Second Call for Papers
7 Apr 15:16 2012Josef Urban
*Fwd: ATx 2012 - extended deadline
30 Mar 19:34 2012Josef Urban
*Fwd: CASC-J6 - the CADE ATP System Competition
30 Mar 09:21 2012Serge Autexier
*CICM 2012 Doctoral Programme
29 Mar 18:34 2012m.kohlhase
*CfP: Math Information Retrieval Worksohp 14. July 2012
20 Mar 11:30 2012Jesse Alama
*mizar parsing/text transformation service
20 Mar 03:20 2012Josef Urban
*tooltips
16 Mar 13:39 2012Jesse Alama
*Lm9 of xcmplx_1
18 Mar 16:52 2012trybulec
**Lm9 of xcmplx_1
18 Mar 20:35 2012Jesse Alama
***Lm9 of xcmplx_1
18 Mar 21:23 2012Adam Naumowicz
****Lm9 of xcmplx_1
18 Mar 21:33 2012Jesse Alama
*****Lm9 of xcmplx_1
15 Mar 21:47 2012Josef Urban
*vernacular
12 Mar 12:59 2012trybulec
*Urelements?
12 Mar 16:09 2012Josef Urban
**Urelements?
12 Mar 18:21 2012trybulec
***Urelements?
12 Mar 18:45 2012trybulec
***Urelements?
12 Mar 18:46 2012Jesse Alama
***Urelements?
12 Mar 19:14 2012Jesse Alama
****Urelements?
12 Mar 19:28 2012Josef Urban
*****Urelements?
12 Mar 20:48 2012trybulec
****Urelements?
12 Mar 19:58 2012trybulec
**Urelements?
12 Mar 21:56 2012Josef Urban
***Urelements?
12 Mar 12:48 2012trybulec
*Fwd: [dev-forum] Re: Urelements?
11 Mar 18:21 2012trybulec
*Urelements?
12 Mar 01:40 2012Jesse Alama
**Urelements?
12 Mar 19:22 2012trybulec
***Urelements?
13 Mar 12:34 2012trybulec
***Urelements?
13 Mar 17:26 2012Josef Urban
****Urelements?
13 Mar 22:40 2012trybulec
*****Urelements?
14 Mar 10:34 2012Josef Urban
******Urelements?
14 Mar 12:11 2012trybulec
*******Urelements?
14 Mar 14:45 2012Josef Urban
********Urelements?
14 Mar 16:19 2012trybulec
*********Urelements?
14 Mar 18:48 2012Josef Urban
**********Urelements?
12 Mar 10:42 2012Josef Urban
**Urelements?
11 Mar 10:35 2012trybulec
*How to call it?
11 Mar 13:06 2012Josef Urban
**How to call it?
12 Mar 00:39 2012Jesse Alama
***How to call it?
12 Mar 15:39 2012Josef Urban
****How to call it?
12 Mar 17:43 2012Jesse Alama
*****How to call it?
12 Mar 13:16 2012Makarius
**How to call it?
12 Mar 17:38 2012trybulec
**How to call it?
27 Feb 17:20 2012Josef Urban
*lstlangmizar.sty
27 Feb 14:20 2012Makarius
*Call for papers: THedu'12
24 Feb 23:09 2012Hugo Herbelin
*ETAPS Workshop on Automation in Proof Assistants (31 Mar - 1 Apr 2012)
22 Feb 09:13 2012Adam Grabowski
*New Mizar articles
16 Mar 11:11 2012Josef Urban
**New Mizar articles
22 Feb 06:34 2012Adam Naumowicz
*CICM 2012 -- last call for papers (fwd)
21 Feb 19:13 2012Josef Urban
*FW: overlijden Dick de Bruijn
2 Feb 20:07 2012Cezary Kaliszyk
*UITP'12: First Call for Papers
25 Jan 17:05 2012Hugo Herbelin
*2nd announcement: workshop on Automation in Proof Assistants (31 Mar -
25 Jan 15:56 2012Artur Kornilowicz
*reductions in Mizar
25 Jan 17:40 2012Josef Urban
**reductions in Mizar
25 Jan 19:23 2012trybulec
***reductions in Mizar
31 Jan 22:46 2012Artur Kornilowicz
****reductions in Mizar
31 Jan 23:08 2012Josef Urban
*****reductions in Mizar
25 Jan 22:00 2012Freek Wiedijk
***reductions in Mizar
25 Jan 23:08 2012trybulec
****reductions in Mizar
25 Jan 23:24 2012Freek Wiedijk
*****reductions in Mizar
26 Jan 08:50 2012Jesse Alama
******reductions in Mizar
26 Jan 11:27 2012Freek Wiedijk
*******reductions in Mizar
26 Jan 11:55 2012Josef Urban
********reductions in Mizar
26 Jan 12:07 2012Freek Wiedijk
*********reductions in Mizar
26 Jan 13:09 2012Josef Urban
**********reductions in Mizar
15 Jan 21:21 2012Daniel Sonntag
*KI 2012: Call for papers
18 Dec 19:37 2011mnf72
*MML Query and cscope
17 Jan 17:48 2012Grzegorz Bancerek
**MML Query and cscope
3 Jan 00:33 2012Daniel Sonntag
*KI 2012: Call for Tutorial Proposals
3 Jan 00:12 2012Daniel Sonntag
*KI 2012: Call for Workshop Proposal
25 Dec 16:14 2011Minqi Pan
*Invitation to connect on LinkedIn
23 Dec 15:33 2011Hugo Herbelin
*Announcement: workshop on Automation in Proof Assistants (31 Mar - 1 A
23 Dec 13:52 2011Roman Matuszewski
*2011 - Mizar Prize for Young Researchers
22 Dec 20:10 2011Josef Urban
*CfP: WWW2012 Workshop on Semantic Web Collaborative Spaces (SWCS2012)
6 Oct 08:49 2011Boris Schminke
*Error No 9
5 Oct 07:45 2011psvr
*What does this 'attr c1 is strict' convention mean?
5 Oct 09:46 2011Adam Naumowicz
**What does this 'attr c1 is strict' convention mean?
1 Oct 02:14 2011Jesse Alama
*proof objects for mizar: already available?
1 Oct 11:26 2011Josef Urban
**proof objects for mizar: already available?
9 Oct 08:35 2011Jesse Alama
***proof objects for mizar: already available?
9 Oct 13:56 2011Josef Urban
****proof objects for mizar: already available?
9 Oct 17:38 2011Jesse Alama
*****proof objects for mizar: already available?
9 Oct 19:03 2011Josef Urban
******proof objects for mizar: already available?
28 Sep 08:59 2011Adam Grabowski
*New Mizar articles
12 Sep 09:37 2011Boris Schminke
*Some bugs (or features)
13 Sep 08:41 2011Adam Grabowski
**Some bugs (or features)
13 Sep 09:28 2011Josef Urban
**Some bugs (or features)
31 Aug 09:20 2011psvr
*Where to find "MML Query" documentation and source code?
1 Sep 07:12 2011Boris Schminke
**Where to find "MML Query" documentation and source code?
4 Sep 22:42 2011Jesse Alama
***Where to find "MML Query" documentation and source code?
5 Sep 07:16 2011Boris Schminke
****Where to find "MML Query" documentation and source code?
5 Sep 11:58 2011P.S.V.R
***Where to find "MML Query" documentation and source code?
25 Aug 19:57 2011Jesse Alama
*mode definition/"the" question